Struct AnonymousFn 

pub struct AnonymousFn {
    pub body: FnSetBody,
    pub equal_to: Box<Obj>,
}

Fields

body: FnSetBody

equal_to: Box<Obj>

Implementations

impl AnonymousFn

pub fn new( params_and_their_sets: Vec<ParamGroupWithSet>, dom_facts: Vec<OrAndChainAtomicFact>, ret_set: Obj, equal_to: Obj, ) -> Result<Self, RuntimeError>

impl AnonymousFn

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for AnonymousFn

fn clone(&self) -> AnonymousFn

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for AnonymousFn

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

Formats the value using the given formatter.

impl From<AnonymousFn> for Obj

fn from(af: AnonymousFn) -> Self

Converts to this type from the input type.