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