Module type Id.S2

type ('a, 'b) t
val type_equal_id : 'a t -> 'b t -> ('a, 'b) t t