Grant

microcad_lang::eval

Trait Grant 

Source 
pub trait Grant<T> {
    // Required method
    fn grant(&mut self, t: &T) -> EvalResult<()>;
}
Expand description

Grant statements depending on context

Required Methods§

Source

fn grant(&mut self, t: &T) -> EvalResult<()>

Check if given statement T is granted within the current context

Implementors§