Module `Available_ranges_vars.Key`

type t = Reg_with_debug_info.t

type key = Available_ranges_vars.Key.t

module Raw_set : Stdlib.Set.S with type elt = Available_ranges_vars.Key.t

module Set : sig ... end

module Map : Stdlib.Map.S with type key = Available_ranges_vars.Key.t

val print : Stdlib.Format.formatter -> Available_ranges_vars.Key.t -> unit

Print a representation (typically sexp) of the given key to the given formatter.

val all_parents : 
  Available_ranges_vars.Key.t ->
  Available_ranges_vars.Key.t list

In some situations, for performance reasons, an "available" set may only contain a subset of all keys that need to be tracked. For example, when using a notion of availability that describes which lexical block a given instruction lies in, using a standard notion of nested lexical blocks, the innermost lexical block uniquely determines the chain of its parents. (This is exploited in Lexical_block_ranges.) The all_parents function must return, given an "available" key, all those other keys that are also available and uniquely determined by key.

Module Available_ranges_vars.Key

Module `Available_ranges_vars.Key`