S.Subrange_state
Corresponds to Subrange_state in the S_functor module type.
Subrange_state
S_functor
type t
val create : unit -> t
val advance_over_instruction : t -> L.instruction -> t