sig
  type t = string * int
  val make : string -> int -> Setoid_test.Person.t
  val name : 'a * 'b -> 'a
  val age : 'a * 'b -> 'b
  val equals : 'a * 'b -> 'a * 'b -> bool
end