module type Compiler = sig .. end
sig
end
module M: Sigs.Model
Sigs.Model
module C: Sigs.CodeSemantics with module M = M
Sigs.CodeSemantics
with module M = M
module L: Sigs.LogicSemantics with module M = M
Sigs.LogicSemantics
module A: Sigs.LogicAssigns with module M = M and module L = L
Sigs.LogicAssigns
with module M = M and module L = L