module CodeSemantics: sig .. end
sig
end
module Make: functor (M : Sigs.Model) -> Sigs.CodeSemantics with module M = M
functor (
M
:
Sigs.Model
) ->
Sigs.CodeSemantics
with module M = M