S.Range_info
Corresponds to Range_info in the S_functor module type.
Range_info
S_functor
type t
val create : L.fundecl -> Key.t -> start_insn:L.instruction -> (Index.t * t) option