quasar.sst
A measure annotated Type focused on structure over semantics.
the type of literals
the measure the type is annotated with
Convert to a type, forgetting annotations.
A measure annotated Type focused on structure over semantics.
the type of literals
the measure the type is annotated with