F (infer.NS.Comparer.Apply1.F)

type ('a, 'b, 'compare_a) t

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

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

type ('compare_a, 'compare_b) compare

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

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

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

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