Struct TypeTermDefinition

pub struct TypeTermDefinition {
    pub container: TypeContainer,
    pub protected: bool,
}

@type term definition.

Such definition compared to a NormalTermDefinition can only contain a @container and @protected value.

Fields

container: TypeContainer

Type container.

protected: bool

Protection flag.

Implementations

impl TypeTermDefinition

pub fn modulo_protected_field(&self) -> ModuloProtected<&TypeTermDefinition>

pub fn into_syntax_definition(self) -> Type

Trait Implementations

impl Clone for TypeTermDefinition

fn clone(&self) -> TypeTermDefinition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for TypeTermDefinition

fn default() -> TypeTermDefinition

Returns the “default value” for a type.

impl PartialEq for TypeTermDefinition

fn eq(&self, other: &TypeTermDefinition) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TypeTermDefinition

impl StructuralPartialEq for TypeTermDefinition