sibylfs-lem 0.4.0 · OCaml Package

type !'a eq_class = {

}

val unsafe_structural_inequality : 'a -> 'a -> bool

val instance_Basic_classes_Eq_var_dict : 'a eq_class

val instance_Basic_classes_Eq_Basic_classes_ordering_dict : int eq_class

type !'a ord_class = {

}

val genericCompare : 
  ('a -> 'a -> bool) ->
  ('a -> 'a -> bool) ->
  'a ->
  'a ->
  int

val ordCompare : 'a eq_class -> 'a ord_class -> 'a -> 'a -> int

type !'a ordMaxMin_class = {

}

val minByLessEqual : ('a -> 'a -> bool) -> 'a -> 'a -> 'a

val maxByLessEqual : ('a -> 'a -> bool) -> 'a -> 'a -> 'a

val instance_Basic_classes_OrdMaxMin_var_dict : 'a -> 'b ordMaxMin_class

type !'a setType_class = {

}

val instance_Basic_classes_SetType_var_dict : 'a setType_class

val instance_Basic_classes_Eq_bool_dict : 'a eq_class

val boolCompare : bool -> bool -> int

val instance_Basic_classes_SetType_bool_dict : bool setType_class

val instance_Basic_classes_Eq_char_dict : 'a eq_class

val instance_Basic_classes_Eq_string_dict : 'a eq_class

val instance_Basic_classes_Eq_tup2_dict : 
  'a eq_class ->
  'b eq_class ->
  ('a * 'b) eq_class

val pairCompare : 
  ('a -> 'b -> int) ->
  ('c -> 'd -> int) ->
  ('a * 'c) ->
  ('b * 'd) ->
  int

val pairLess : 'a ord_class -> 'b ord_class -> ('b * 'a) -> ('b * 'a) -> bool

val pairLessEq : 'a ord_class -> 'b ord_class -> ('b * 'a) -> ('b * 'a) -> bool

val pairGreater : 
  'a ord_class ->
  'b ord_class ->
  ('a * 'b) ->
  ('a * 'b) ->
  bool

val pairGreaterEq : 
  'a ord_class ->
  'b ord_class ->
  ('a * 'b) ->
  ('a * 'b) ->
  bool

val instance_Basic_classes_Ord_tup2_dict : 
  'a ord_class ->
  'b ord_class ->
  ('a * 'b) ord_class

val instance_Basic_classes_SetType_tup2_dict : 
  'a setType_class ->
  'b setType_class ->
  ('a * 'b) setType_class

val tripleEqual : 
  'a eq_class ->
  'b eq_class ->
  'c eq_class ->
  ('a * 'b * 'c) ->
  ('a * 'b * 'c) ->
  bool

val instance_Basic_classes_Eq_tup3_dict : 
  'a eq_class ->
  'b eq_class ->
  'c eq_class ->
  ('a * 'b * 'c) eq_class

val tripleCompare : 
  ('a -> 'b -> int) ->
  ('c -> 'd -> int) ->
  ('e -> 'f -> int) ->
  ('a * 'c * 'e) ->
  ('b * 'd * 'f) ->
  int

val tripleLess : 
  'a ord_class ->
  'b ord_class ->
  'c ord_class ->
  ('a * 'b * 'c) ->
  ('a * 'b * 'c) ->
  bool

val tripleLessEq : 
  'a ord_class ->
  'b ord_class ->
  'c ord_class ->
  ('a * 'b * 'c) ->
  ('a * 'b * 'c) ->
  bool

val tripleGreater : 
  'a ord_class ->
  'b ord_class ->
  'c ord_class ->
  ('c * 'b * 'a) ->
  ('c * 'b * 'a) ->
  bool

val tripleGreaterEq : 
  'a ord_class ->
  'b ord_class ->
  'c ord_class ->
  ('c * 'b * 'a) ->
  ('c * 'b * 'a) ->
  bool

val instance_Basic_classes_Ord_tup3_dict : 
  'a ord_class ->
  'b ord_class ->
  'c ord_class ->
  ('a * 'b * 'c) ord_class

val instance_Basic_classes_SetType_tup3_dict : 
  'a setType_class ->
  'b setType_class ->
  'c setType_class ->
  ('a * 'b * 'c) setType_class

package sibylfs-lem