Module Wp.CodeSemantics

module CodeSemantics: sig .. end

module Make: 
functor (M : Wp.Memory.Model) -> sig .. end