Module `Cfg_liveness.Transfer`

type domain = domain

type error = error

type context = unit

val basic : 
  domain ->
  Cfg.basic Cfg.instruction ->
  context ->
  (domain, error) result

val terminator : 
  domain ->
  exn:domain ->
  Cfg.terminator Cfg.instruction ->
  context ->
  (domain, error) result

val exception_ : domain -> context -> (domain, error) result

Module Cfg_liveness.Transfer