Struct DefLetStmt 

pub struct DefLetStmt {
    pub param_def: ParamDefWithType,
    pub facts: Vec<Fact>,
    pub line_file: LineFile,
}

Fields

param_def: ParamDefWithType

facts: Vec<Fact>

line_file: LineFile

Implementations

impl DefLetStmt

pub fn new( param_def: ParamDefWithType, facts: Vec<Fact>, line_file: LineFile, ) -> Self

impl DefLetStmt

pub fn stmt_type_name(&self) -> String

impl DefLetStmt

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for DefLetStmt

fn clone(&self) -> DefLetStmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for DefLetStmt

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

Formats the value using the given formatter.

impl From<DefLetStmt> for Stmt

fn from(v: DefLetStmt) -> Self

Converts to this type from the input type.