functor (E : sig val var : string end) -> VERBOSITY