module Set : sig ... end
module Map : Stdlib.Map.S with type key = t
val print : Stdlib.Format.formatter -> t -> unit
Print a representation (typically sexp) of the given key to the given formatter.
val all_parents : t -> 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
.) Theall_parents
function must return, given an "available"key
, all those other keys that are also available and uniquely determined bykey
.