Methods of the module objectval Typed
val Typed
Create a type ascription<x: Term>: <tpt: TypeTree>
<x: Term>: <tpt: TypeTree>
Matches<expr: Term>: <tpt: TypeTree>
<expr: Term>: <tpt: TypeTree>