Module type Id.S0

type t
val type_equal_id : t t