Parameter Forward.T

type domain = D.t
type context
type image = {
  1. normal : domain;
  2. exceptional : domain;
}