Struct FnSetBody 

pub struct FnSetBody {
    pub params_def_with_set: ParamDefWithSet,
    pub dom_facts: Vec<OrAndChainAtomicFact>,
    pub ret_set: Box<Obj>,
}

Fields

params_def_with_set: ParamDefWithSet

dom_facts: Vec<OrAndChainAtomicFact>

ret_set: Box<Obj>

Return sets are intentionally non-dependent: they must not cite this function’s parameters.

Implementations

impl FnSetBody

pub fn new( params_def_with_set: impl Into<ParamDefWithSet>, dom_facts: Vec<OrAndChainAtomicFact>, ret_set: Obj, ) -> Self

pub fn get_params(&self) -> Vec<String>

Trait Implementations

impl Clone for FnSetBody

fn clone(&self) -> FnSetBody

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for FnSetBody

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

Formats the value using the given formatter.