functor (Info : sig val name : string end-> Counter