sibylfs-lem 0.4.0 (latest)

val list_null : 'a list -> bool

val listEqualBy : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool

val instance_Basic_classes_Eq_list_dict : 
  'a Lem_basic_classes.eq_class ->
  'a list Lem_basic_classes.eq_class

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 instance_Basic_classes_Ord_list_dict : 
  'a Lem_basic_classes.ord_class ->
  'a list Lem_basic_classes.ord_class

val snoc : 'a -> 'a list -> 'a list

val dest_init_aux : 'a list -> 'a -> 'a list -> 'a list * 'a

val dest_init : 'a list -> ('a list * 'a) option

val list_index : 'a list -> Nat_num.nat -> 'a option

val find_indices_aux : int -> ('a -> bool) -> 'a list -> int list

val find_indices : ('a -> bool) -> 'a list -> int list

val find_index : ('a -> bool) -> 'a list -> int option

val genlist : (Nat_num.nat -> 'a) -> Nat_num.nat -> 'a list

val replicate : Nat_num.nat -> 'a -> 'a list

val split_at : Nat_num.nat -> 'a list -> 'a list * 'a list

val take : Nat_num.nat -> 'a list -> 'a list

val drop : Nat_num.nat -> 'a list -> 'a list

val dropWhile : ('a -> bool) -> 'a list -> 'a list

val takeWhile : ('a -> bool) -> 'a list -> 'a list

val isPrefixOf : 'a Lem_basic_classes.eq_class -> 'a list -> 'a list -> bool

val list_update : 'a list -> Nat_num.nat -> 'a -> 'a list

val elemBy : ('a -> 'b -> bool) -> 'a -> 'b list -> bool

val list_find_opt : ('a -> bool) -> 'a list -> 'a option

val lookupBy : ('a -> 'b -> bool) -> 'a -> ('b * 'c) list -> 'c option

val reversePartition : ('a -> bool) -> 'a list -> 'a list * 'a list

val list_delete_first : ('a -> bool) -> 'a list -> 'a list option

val list_delete : ('a -> 'b -> bool) -> 'a -> 'b list -> 'b list

val list_combine : 'a list -> 'b list -> ('a * 'b) list

val instance_Basic_classes_SetType_list_dict : 
  'a Lem_basic_classes.setType_class ->
  'a list Lem_basic_classes.setType_class

val allDistinct : 'a -> 'b list -> bool

package sibylfs-lem