functor (A : IdentifiedType) (I : Info->
  sig
    type t = A.t
    val jtype : Package.jtype
    val of_json : json -> t
    val to_json : t -> json
    val get : t -> int
    val find : int -> t
    val clear : unit -> unit
  end