T (p.oxcaml-compiler.5.2.0minus39.doc.compiler-libs.optcomp.Cfg

type domain = D.t

type error

type context

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