package ego

  1. Overview
  2. Docs

Module Basic.SymbolSource

Implements an efficient encoding of strings

Note: Datatypes using this module are not safe for serialization as tag associated with each string dependent on the execution context.

If you wish to persist EGraphs across executions, check out the EGraphs defined in Ego.Generic

Sourcetype t = private int

Abstract type providing an efficient encoding of some string value.

Sourceval intern : string -> t

intern s returns a symbol representing the string s.

Sourceval to_string : t -> string

to_string t returns the string associated with symbol t.