package ocaml-base-compiler
The type of caller-defined contextual state associated with subranges. This may be used to track information throughout the range-computing process.
val create : unit -> tval advance_over_instruction : t -> L.instruction -> t