Struct ConstraintPattern 

pub struct ConstraintPattern {
    pub name: &'static str,
    pub slots: &'static [&'static str],
    pub instantiate: ConstraintInstantiator,
}

A reusable invariant template with named non-terminal slots.

Fields

name: &'static str

Stable template name.

slots: &'static [&'static str]

Slot names the instantiator binds to grammar rules.

instantiate: ConstraintInstantiator

Builds concrete atoms from a slot binding.

Trait Implementations

impl Clone for ConstraintPattern

fn clone(&self) -> ConstraintPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ConstraintPattern

impl Debug for ConstraintPattern

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

Formats the value using the given formatter.