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 -> _ compareval equal_abstract : type_name:string -> _ equal