Struct EnvironmentView 

pub struct EnvironmentView<'a> {
    pub name: &'a str,
    pub args: &'a [ArgumentSlot],
    pub body: NodeId,
}

A read-only view of an environment node for use in rule matching.

Fields

name: &'a str

The environment name (as it appears between \begin{…} and \end{…}).

args: &'a [ArgumentSlot]

The explicit argument slots parsed for this environment.

body: NodeId

The body subtree between \begin and \end.

Trait Implementations

impl<'a> Clone for EnvironmentView<'a>

fn clone(&self) -> EnvironmentView<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for EnvironmentView<'a>