Enum Command

pub enum Command<C, V, Tm> {
    Intro(C, Vec<(V, Tm)>, Intro<Tm>),
    Rules(Vec<Rule<V, Tm>>),
}

Command of a Dedukti theory.

Variants

Intro(C, Vec<(V, Tm)>, Intro<Tm>)

Rules(Vec<Rule<V, Tm>>)

Implementations

impl<C, V, Tm> Command<C, V, Tm>

pub fn map_const<C2>(self, f: impl FnOnce(C) -> C2) -> Command<C2, V, Tm>

Apply a function to the constant introduced by an introduction.

Trait Implementations

impl<C: Clone, V: Clone, Tm: Clone> Clone for Command<C, V, Tm>

fn clone(&self) -> Command<C, V, Tm>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: Debug, V: Debug, Tm: Debug> Debug for Command<C, V, Tm>

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

Formats the value using the given formatter.

impl<C: Display, V: Display, Tm: Display> Display for Command<C, V, Tm>

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

Formats the value using the given formatter.