package linksem

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type string_table =

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 size0 : string_table -> Nat_big_num.num

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