Module type Sigs.Compiler

module type Compiler = sig .. end
All Compilers Together

module M: Sigs.Model 
module C: Sigs.CodeSemantics  with module M = M
module L: Sigs.LogicSemantics  with module M = M
module A: Sigs.LogicAssigns  with module M = M and module L = L