package ego
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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
val intern : string -> tintern s returns a symbol representing the string s.
val to_string : t -> stringto_string t returns the string associated with symbol t.