herdtools7.asllib
Instrumentation.TypingSingleBuffer
val push : typing_rule -> unit
val reset : unit -> unit
val get : unit -> typing_rule list