Module Ppx_compare_lib

type ('a : any) compare = 'a -> 'a -> int
type ('a : any) equal = 'a -> 'a -> bool
type ('a : any) compare__local = 'a @ local -> ('a @ local -> int) @ local
type ('a : any) equal__local = 'a @ local -> ('a @ local -> bool) @ local
module Comparable : sig ... end
module Equal : sig ... end
val compare_abstract : type_name:string -> _ compare__local @@ portable

Raise when fully applied

val equal_abstract : type_name:string -> _ equal__local @@ portable
module Builtin : sig ... end