Struct HashConsingTable 

pub struct HashConsingTable { /* private fields */ }

Canonical expression sharing: ensures that structurally identical LcnfLetValues are represented by a single heap allocation.

Implementations

impl HashConsingTable

pub fn new() -> Self

pub fn intern(&mut self, key: NormExpr, value: LcnfLetValue) -> &LcnfLetValue

Intern value under the given key. Returns a reference to the canonical copy.

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Debug for HashConsingTable

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for HashConsingTable

fn default() -> HashConsingTable

Returns the “default value” for a type.