Reg_availability_set
Register availability sets.
Return a subset of the given availability set which contains no registers that are not associated with debug info (and holding values of non-persistent identifiers); and where no two registers share the same location.
val print : print_reg:(Format.formatter -> Reg.t -> unit) -> Format.formatter -> t -> unit
For debugging purposes only.