Cfg_liveness.Transfer
type domain = Cfg_liveness.domain
type error = Cfg_liveness.error
type context = unit
val basic : Cfg_liveness.Transfer.domain -> Cfg.basic Cfg.instruction -> Cfg_liveness.Transfer.context -> (Cfg_liveness.Transfer.domain, Cfg_liveness.Transfer.error) Stdlib.result
val terminator : Cfg_liveness.Transfer.domain -> exn:Cfg_liveness.Transfer.domain -> Cfg.terminator Cfg.instruction -> Cfg_liveness.Transfer.context -> (Cfg_liveness.Transfer.domain, Cfg_liveness.Transfer.error) Stdlib.result
val exception_ : Cfg_liveness.Transfer.domain -> Cfg_liveness.Transfer.context -> (Cfg_liveness.Transfer.domain, Cfg_liveness.Transfer.error) Stdlib.result