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