Enum PcfValue 

pub enum PcfValue {
    Num(u64),
    BoolVal(bool),
    Bottom,
    Fun(String),
}

An element in the realizability model of PCF.

Variants

Num(u64)

A natural number

BoolVal(bool)

A boolean

Bottom

Undefined (bottom, ⊥)

Fun(String)

A function (as a closure description)

Trait Implementations

impl Clone for PcfValue

fn clone(&self) -> PcfValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PcfValue

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

Formats the value using the given formatter.