Parameter `Forward.T`

type domain = D.t

type context

type image = {

normal : domain;
exceptional : domain;

}

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

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