Module Cfg_liveness

type domain = {
  1. before : Reg.Set.t;
  2. 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