Struct DefStructStmt 

pub struct DefStructStmt {
    pub name: String,
    pub param_def_with_dom: Option<(ParamDefWithType, Vec<OrAndChainAtomicFact>)>,
    pub fields: Vec<(String, Obj)>,
    pub equivalent_facts: Vec<Fact>,
    pub line_file: LineFile,
}

Fields

name: String

param_def_with_dom: Option<(ParamDefWithType, Vec<OrAndChainAtomicFact>)>

fields: Vec<(String, Obj)>

equivalent_facts: Vec<Fact>

line_file: LineFile

Implementations

impl DefStructStmt

pub fn new( name: String, param_def_with_dom: Option<(ParamDefWithType, Vec<OrAndChainAtomicFact>)>, fields: Vec<(String, Obj)>, equivalent_facts: Vec<Fact>, line_file: LineFile, ) -> Self

pub fn stmt_type_name(&self) -> String

Trait Implementations

impl Clone for DefStructStmt

fn clone(&self) -> DefStructStmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for DefStructStmt

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

Formats the value using the given formatter.

impl From<DefStructStmt> for Stmt

fn from(v: DefStructStmt) -> Self

Converts to this type from the input type.