package sibylfs-lem

  1. Overview
  2. Docs
val pair_equal : ('a -> 'b -> bool) -> ('c -> 'd -> bool) -> ('a * 'c) -> ('b * 'd) -> bool
val pair_swap : ('a * 'b) -> 'b * 'a
val curry : (('a * 'b) -> 'c) -> 'a -> 'b -> 'c
val uncurry : ('a -> 'b -> 'c) -> ('a * 'b) -> 'c
val orderingIsLess : int -> bool
val orderingIsGreater : int -> bool
val orderingIsEqual : int -> bool
val ordering_cases : int -> 'a -> 'a -> 'a -> 'a
val orderingEqual : int -> int -> bool
val list_null : 'a list -> bool
val lexicographic_compare : ('a -> 'b -> int) -> 'a list -> 'b list -> int
val lexicographic_less : ('a -> 'b -> bool) -> ('a -> 'b -> bool) -> 'a list -> 'b list -> bool
val lexicographic_less_eq : ('a -> 'b -> bool) -> ('a -> 'b -> bool) -> 'a list -> 'b list -> bool
val list_index : 'a list -> int -> 'a option
val is_none : 'a option -> bool
val is_some : 'a option -> bool
val option_case : 'a -> ('b -> 'a) -> 'b option -> 'a
val option_default : 'a -> 'a option -> 'a
val option_map : ('a -> 'b) -> 'a option -> 'b option
val option_bind : 'a option -> ('a -> 'b option) -> 'b option
val option_equal : ('a -> 'b -> bool) -> 'a option -> 'b option -> bool