include module type of struct include Base.Exported_for_specific_uses.Ppx_compare_lib end
val phys_equal : 'a -> 'a -> boolval polymorphic_compare : 'a -> 'a -> intval polymorphic_equal : 'a -> 'a -> boolval (&&) : bool -> bool -> booltype !'a compare = 'a -> 'a -> inttype !'a equal = 'a -> 'a -> boolval compare_abstract : type_name:string -> 'a compareval equal_abstract : type_name:string -> 'a equal