functor (E : sig val exthpr : string -> unit end-> TEXOUT