functor (Serv : sig val srv : string end) ->
  sig
    type t = private int
    type outer_t = int
    val to_string : t -> string
    val print : Batteries.Format.formatter -> t -> unit
    val o : outer_t -> t
    val random : unit -> t
  end