Module `Cfg_liveness`

type domain = {

before : Reg.Set.t;
across : Reg.Set.t;

}

module Domain : Cfg_dataflow.Domain_S with type t = Cfg_liveness.domain

type error = |

module Transfer : 
  Cfg_dataflow.Backward_transfer
    with type domain = Cfg_liveness.domain
     and type error = Cfg_liveness.error
     and type context = unit

module Liveness : 
  Cfg_dataflow.Backward_S
    with type domain = Cfg_liveness.domain
     and type error = Cfg_liveness.error
     and type context = unit

Module Cfg_liveness

Module `Cfg_liveness`