Struct AssertItem 

pub struct AssertItem {
    pub when: bool,
    pub name: String,
    pub cond: Rc<Expr>,
    pub tail: Option<Tail>,
    pub body: Vec<MemberAst>,
    pub origin: Option<String>,
    pub menv: Option<Rc<Env>>,
}

an assertion or a guarded group of a record type

Fields

when: bool

whether it is a when group

name: String

the name

cond: Rc<Expr>

the condition

tail: Option<Tail>

the else tail

body: Vec<MemberAst>

the members, for a group

origin: Option<String>

the type declaring it, for the id

menv: Option<Rc<Env>>

the module environment

Trait Implementations

impl Clone for AssertItem

fn clone(&self) -> AssertItem

Returns a duplicate of the value.

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

Performs copy-assignment from source.