Module Strmatch

module type I = sig ... end
module Make : functor (I : I) -> sig ... end