F (infer.NS.Comparer.Apply.F)

type ('a, 'compare_a) t

include Ppx_compare_lib.Comparable.S2
  with type ('a, 'compare_a) t := ('a, 'compare_a) t

val compare : 
  'a Base__Ppx_compare_lib.compare ->
  'b Base__Ppx_compare_lib.compare ->
  ('a, 'b) t Base__Ppx_compare_lib.compare

type 'compare_a compare

val compare_compare : 
  ('compare_a -> 'compare_a -> int) ->
  'compare_a compare ->
  'compare_a compare ->
  int

val equal_compare : 
  ('compare_a -> 'compare_a -> bool) ->
  'compare_a compare ->
  'compare_a compare ->
  bool

val sexp_of_compare : 
  ('compare_a -> Sexplib0.Sexp.t) ->
  'compare_a compare ->
  Sexplib0.Sexp.t

val compare_of_sexp : 
  (Sexplib0.Sexp.t -> 'compare_a) ->
  Sexplib0.Sexp.t ->
  'compare_a compare