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