Enum SimpleType 

pub enum SimpleType {
    Base(String),
    Arrow(Box<SimpleType>, Box<SimpleType>),
    Product(Box<SimpleType>, Box<SimpleType>),
    Forall(String, Box<SimpleType>),
}

A simple type in the two-level logical relation model.

Variants

Base(String)

Base type (e.g., Bool, Nat)

Arrow(Box<SimpleType>, Box<SimpleType>)

Arrow type A → B

Product(Box<SimpleType>, Box<SimpleType>)

Product type A × B

Forall(String, Box<SimpleType>)

Universal type ∀ α. T

Trait Implementations

impl Clone for SimpleType

fn clone(&self) -> SimpleType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimpleType

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

Formats the value using the given formatter.

impl PartialEq for SimpleType

fn eq(&self, other: &SimpleType) -> 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 SimpleType

impl StructuralPartialEq for SimpleType