Parameter Forward.T
type domain = D.tval basic : T.domain -> Cfg.basic Cfg.instruction -> T.context -> T.domainval terminator :
T.domain ->
Cfg.terminator Cfg.instruction ->
T.context ->
T.imageForward.Ttype domain = D.tval basic : T.domain -> Cfg.basic Cfg.instruction -> T.context -> T.domainval terminator :
T.domain ->
Cfg.terminator Cfg.instruction ->
T.context ->
T.image