Module Mew
module Concurrent : sig ... endmodule Modal : sig ... endmodule Mode : sig ... endmodule Key : sig ... endmodule Make : functor (Modal : Modal.S) -> functor (Concurrent : Concurrent.S) -> sig ... endMewmodule Concurrent : sig ... endmodule Modal : sig ... endmodule Mode : sig ... endmodule Key : sig ... endmodule Make : functor (Modal : Modal.S) -> functor (Concurrent : Concurrent.S) -> sig ... end