package linksem

You can search for identifiers within the package.

in-package search v0.2.0

linksem_zarith

Legend:
Library
Module
Module type
Parameter
Class
Class type

val id0 : 'a -> 'a

val compare_byte : char -> char -> int

val instance_Basic_classes_Ord_Missing_pervasives_byte_dict : 
  char Lem_basic_classes.ord_class

val hex_char_of_nibble : Nat_big_num.num -> char

val hex_string_of_byte : char -> string

val instance_Show_Show_Missing_pervasives_byte_dict : char Show.show_class

val natural_of_decimal_digit : char -> Nat_big_num.num option

val natural_of_decimal_string_helper : 
  Nat_big_num.num ->
  char list ->
  Nat_big_num.num

val natural_of_decimal_string : string -> Nat_big_num.num

val hex_string_of_natural : Nat_big_num.num -> string

val natural_of_bool : bool -> Nat_big_num.num

val merge_by : ('a -> 'a -> int) -> 'a list -> 'a list -> 'a list

val mapMaybei' : 
  (Nat_big_num.num -> 'a -> 'b option) ->
  Nat_big_num.num ->
  'a list ->
  'b list

val mapMaybei : (Nat_big_num.num -> 'a -> 'b option) -> 'a list -> 'b list

val partitionii' : 
  Nat_big_num.num ->
  Nat_big_num.num list ->
  'a list ->
  (Nat_big_num.num * 'a) list ->
  (Nat_big_num.num * 'a) list ->
  (Nat_big_num.num * 'a) list * (Nat_big_num.num * 'a) list

val filteri : Nat_big_num.num list -> 'a list -> 'a list

val filterii : Nat_big_num.num list -> 'a list -> (Nat_big_num.num * 'a) list

val partitioni : Nat_big_num.num list -> 'a list -> 'a list * 'a list

val partitionii : 
  Nat_big_num.num list ->
  'a list ->
  (Nat_big_num.num * 'a) list * (Nat_big_num.num * 'a) list

val unzip3 : ('a * 'b * 'c) list -> 'a list * 'b list * 'c list

val zip3 : 'a list -> 'b list -> 'c list -> ('a * 'b * 'c) list

val null_char : char

val intercalate' : 'a -> 'a list -> 'a list -> 'a list

val intercalate : 'a -> 'a list -> 'a list

val unlines : string list -> string

val bracket : string list -> string

val string_of_list : 'a Show.show_class -> 'a list -> string

val instance_Show_Show_list_dict : 
  'a Show.show_class ->
  'a list Show.show_class

val string_contains : string -> string -> bool

val length : 'a list -> Nat_big_num.num

val takeRevAcc : Nat_big_num.num -> 'a list -> 'a list -> 'a list

val take0 : Nat_big_num.num -> 'a list -> 'a list

val drop0 : Nat_big_num.num -> 'a list -> 'a list

val string_index_of' : 
  'a ->
  'a list ->
  Nat_big_num.num ->
  Nat_big_num.num option

val find_index_helper : 
  Nat_big_num.num ->
  ('a -> bool) ->
  'a list ->
  Nat_big_num.num option

val find_index0 : ('a -> bool) -> 'a list -> Nat_big_num.num option

val replicate_revacc : 'a list -> Nat_big_num.num -> 'a -> 'a list

val replicate0 : Nat_big_num.num -> 'a -> 'a list

val list_append : 'a list -> 'a list -> 'a list

val list_concat : 'a list list -> 'a list

val list_concat_map : ('a -> 'b list) -> 'a list -> 'b list

val list_reverse_concat_map_helper : 
  ('a -> 'b list) ->
  'b list ->
  'a list ->
  'b list

val list_reverse_concat_map : ('a -> 'b list) -> 'a list -> 'b list

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

val unsafe_string_take : Nat_big_num.num -> string -> string

val padding_and_maybe_newline : char -> Nat_big_num.num -> string -> string

val space_padding_and_maybe_newline : Nat_big_num.num -> string -> string

val padded_and_maybe_newline : char -> Nat_big_num.num -> string -> string

val padding_to : char -> Nat_big_num.num -> string -> string

val left_padded_to : char -> Nat_big_num.num -> string -> string

val right_padded_to : char -> Nat_big_num.num -> string -> string

val space_padded_and_maybe_newline : Nat_big_num.num -> string -> string

val left_space_padded_to : Nat_big_num.num -> string -> string

val right_space_padded_to : Nat_big_num.num -> string -> string

val left_zero_padded_to : Nat_big_num.num -> string -> string

val natural_of_char : char -> Nat_big_num.num

val natural_of_hex' : char list -> Nat_big_num.num

val natural_of_hex : string -> Nat_big_num.num

val assert_unwrap_maybe : 'a option -> 'a