sig
  type 'a ty = 'Type.t
  type 'a t
  val create : int -> 'Type.TyTbl.t
  val add : 'Type.TyTbl.t -> 'Type.TyTbl.ty -> '-> unit
  val find : 'Type.TyTbl.t -> 'Type.TyTbl.ty -> 'a
end