package ego

  1. Overview
  2. Docs

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

type t = private int

Abstract type providing an efficient encoding of some string value.

val intern : string -> t

intern s returns a symbol representing the string s.

val to_string : t -> string

to_string t returns the string associated with symbol t.