package linksem

  1. Overview
  2. Docs
package linksem
Legend:
Library
Module
Module type
Parameter
Class
Class type
type string_table =
  1. | Strings of char * string
val dummy_strtab : string_table
val mk_string_table : string -> char -> string_table
val string_table_of_byte_sequence : Byte_sequence_wrapper.byte_sequence -> string_table
val empty0 : string_table
val get_delimiting_character : string_table -> char
val get_base_string : string_table -> string
val concat0 : string_table list -> string_table Error.error
val get_string_at : Nat_big_num.num -> string_table -> string Error.error
val find_string : string -> string_table -> Nat_big_num.num option
val insert_string : string -> string_table -> Nat_big_num.num * string_table
val instance_Show_Show_String_table_string_table_dict : string_table Show.show_class