Module Strmatch

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