Wrapper over Type that implements equals/hashCode consistent with type equivalence (=:=)
Wrapper over Type that implements equals/hashCode consistent with type equivalence (=:=)
Returns a Tree
that should typecheck to the type passed as argument (without using TypeTree
).
Returns a Tree
that should typecheck to the type passed as argument (without using TypeTree
).