Struct ConstructorDecl 

pub struct ConstructorDecl {
    pub name: String,
    pub params: Vec<(String, Node)>,
    pub typ: Node,
}

One constructor of an inductive datatype.

Fields

name: String

Constructor name (e.g. zero, succ).

params: Vec<(String, Node)>

Ordered binder list of the constructor’s Pi-type, each (name, type). A constant constructor ((constructor zero)) has an empty list.

typ: Node

The constructor’s recorded type — either a bare leaf naming the inductive type (constant constructor) or the original (Pi …) chain.

Trait Implementations

impl Clone for ConstructorDecl

fn clone(&self) -> ConstructorDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstructorDecl

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

Formats the value using the given formatter.