Module type Id.S1

type 'a t
val type_equal_id : 'a t -> 'a t t