herdtools7.asllib
TypMake.Buffer
val push : typing_rule -> unit
val reset : unit -> unit
val get : unit -> typing_rule list