Struct TermConstructor 

pub struct TermConstructor {
    pub name: String,
    pub symbol: String,
    pub kind: TermConstructorKind,
}

A term constructor in the derived type system.

Fields

name: String

Internal name

symbol: String

Display symbol or template

kind: TermConstructorKind

Kind of term constructor

Trait Implementations

impl Clone for TermConstructor

fn clone(&self) -> TermConstructor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TermConstructor

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

Formats the value using the given formatter.