functor (T : Utilsigs.BasicType) (S : Utilsigs.BasicType) ->
  sig
    type t = T.t * S.t
    val compare : t -> t -> int
    val equal : t -> t -> bool
    val hash : t -> int
    val to_string : t -> string
    val pp : Format.formatter -> t -> unit
  end