herdtools7.asllib
Instrumentation.TypingSingleInstr
val use : typing_rule -> unit
val use_with : 'a -> typing_rule -> 'a