Struct FnSet 

pub struct FnSet {
    pub params_def_with_set: Vec<ParamGroupWithSet>,
    pub dom_facts: Vec<OrAndChainAtomicFact>,
    pub ret_set: Box<Obj>,
}

Fields

params_def_with_set: Vec<ParamGroupWithSet>

dom_facts: Vec<OrAndChainAtomicFact>

ret_set: Box<Obj>

Implementations

impl FnSet

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

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

Trait Implementations

impl Clone for FnSet

fn clone(&self) -> FnSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for FnSet

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

与 AST 一致：形参表、dom 均使用存储名（fn 形参为 __ + 用户符面）。
区别于单独 ParamGroupWithSet 的 Display（会隐去 __ 以便其它上下文）。