Module type Compute_ranges_intf.S_subrange_state

The type of caller-defined contextual state associated with subranges. This may be used to track information throughout the range-computing process.

type t
val create : unit -> t
val advance_over_instruction : t -> L.instruction -> t