Generic definitions of words on which regular expression can match.
module type S : sig ... end
module List : functor (C : sig ... end) -> sig ... end
module String : sig ... end