$Typed top-level constant

TypeChecker const $Typed

Implementation

const $Typed = TypeChecker.fromUrl('$_typed#Typed');