Cfg_liveness
type domain = {
before : Reg.Set.t;
across : Reg.Set.t;
}
module Domain : Cfg_dataflow.Domain_S with type t = domain
type error = |
module Transfer : Cfg_dataflow.Backward_transfer with type domain = domain and type error = error and type context = unit
module Liveness : Cfg_dataflow.Backward_S with type domain = domain and type error = error and type context = unit