Sig.Simple_Transformation
type relation_in = Ast.Program.relation
type relation_out = Ast.Program.relation
module Domain
(S : Classical_Domain with type relation = relation_out) :
Classical_Domain
with module State = S.State
and module StateSet = S.StateSet
and type relation = relation_in
The actual transformation functor