Private_Dec (djot.Djot_kernel.OrdersEx.N_as_OT.Private

val max_case_strong : 
  BinNums.coq_N ->
  BinNums.coq_N ->
  (BinNums.coq_N -> BinNums.coq_N -> __ -> 'a1 -> 'a1) ->
  (__ -> 'a1) ->
  (__ -> 'a1) ->
  'a1

val max_case : 
  BinNums.coq_N ->
  BinNums.coq_N ->
  (BinNums.coq_N -> BinNums.coq_N -> __ -> 'a1 -> 'a1) ->
  'a1 ->
  'a1 ->
  'a1

val max_dec : BinNums.coq_N -> BinNums.coq_N -> bool

val min_case_strong : 
  BinNums.coq_N ->
  BinNums.coq_N ->
  (BinNums.coq_N -> BinNums.coq_N -> __ -> 'a1 -> 'a1) ->
  (__ -> 'a1) ->
  (__ -> 'a1) ->
  'a1

val min_case : 
  BinNums.coq_N ->
  BinNums.coq_N ->
  (BinNums.coq_N -> BinNums.coq_N -> __ -> 'a1 -> 'a1) ->
  'a1 ->
  'a1 ->
  'a1

val min_dec : BinNums.coq_N -> BinNums.coq_N -> bool