quasar.sst
A measure annotated Type focused on structure over semantics.
the type of literals
the measure the type is annotated with
A measure annotated Type focused on structure over semantics.
the type of literals
the measure the type is annotated with