Parameter `Forward.T`

type domain = D.t

type context

type image = {

}

val basic : T.domain -> Cfg.basic Cfg.instruction -> T.context -> T.domain

val terminator : 
  T.domain ->
  Cfg.terminator Cfg.instruction ->
  T.context ->
  T.image

Parameter Forward.T