module Order: sigval compose : ('a -> 'b -> int option) -> ('a -> 'b -> int option) -> 'a -> 'b -> intval reverse : ('a -> 'b -> int) -> 'a -> 'b -> intval reversep : ('a -> 'b -> int Biocaml_internal_pervasives.Option.t) ->
       'a -> 'b -> int Biocaml_internal_pervasives.Option.tval totalify : ('a -> 'b -> 'c option) -> 'a -> 'b -> 'cend