Module type Wp.Sigs.Compiler

module type Compiler = sig .. end

All Compilers Together


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