package sibylfs-lem

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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