1-S.Range_infoThe module Range_info is used to store additional information on a range that is associated to a range at its creation and can be retrieved from the result. The association between keys and indices is also done here: Range_info.create serves both as a map between keys and indices; and also as the creator of the Range_info.t structure. When several subranges are contained in a single range, the associated Range_info.t will correspond to the first closed subrange.
val create : Compute_ranges_intf.L.fundecl -> Key.t -> start_insn:Compute_ranges_intf.L.instruction -> (Index.t * t) option