Struct Function 

pub struct Function { /* private fields */ }

A function in the e-graph.

This contains the schema information of the function and the backend id of the function in the e-graph.

Implementations

impl Function

pub fn name(&self) -> &str

Get the name of the function.

pub fn schema(&self) -> &ResolvedSchema

Get the schema of the function.

pub fn can_subsume(&self) -> bool

Whether this function supports subsumption.

pub fn is_let_binding(&self) -> bool

Whether this is a let binding

pub fn is_hidden(&self) -> bool

Whether this function is internally hidden (e.g., compiler-generated helper tables that should not appear in user-facing listings).

pub fn term_constructor(&self) -> Option<&str>

The term-constructor name associated with this function table, if any. Set on view tables created by the term/proof encoding to refer back to the user-visible constructor name.

Trait Implementations

impl Clone for Function

fn clone(&self) -> Function

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Function

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

Formats the value using the given formatter.