Sourceval phys_equal : 'a -> 'a -> bool Sourceval polymorphic_compare : 'a -> 'a -> int Sourceval polymorphic_equal : 'a -> 'a -> bool Sourceval (&&) : bool -> bool -> bool Sourcetype 'a compare = 'a -> 'a -> int Sourcetype 'a equal = 'a -> 'a -> bool