Module type Sig.Simple_Transformation

type relation_in = Ast.Program.relation
type relation_out = Ast.Program.relation
val id : string

Command line identifier

val doc : string

Command line documentation

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