Struct DefineFun

pub struct DefineFun {
    pub sig: FunSig,
    pub expr: &'static Expr,
}

A struct that encapsulates the definition of a function in the synthesis problem.

It contains two fields: sig, which holds the function’s signature defined by the FunSig type, describing the function’s name, return type, and its parameters; and expr, a reference to a static expression represented by the Expr type, which defines the body or implementation of the function. This structure forms a crucial part of representing function definitions within the synthesis process, linking the declared signature with its corresponding executable expression.

Fields

sig: FunSig

expr: &'static Expr

Implementations

impl DefineFun

pub fn parse<'i>(pairs: Pair<'_, Rule>) -> Result<DefineFun, Error>

Parses a DefineFun instance from a sequence of parsed pairs.

Trait Implementations

impl Clone for DefineFun

fn clone(&self) -> DefineFun

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DefineFun

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

Formats the value using the given formatter.

impl Display for DefineFun

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

Formats the value using the given formatter.