Struct RealizabilityInterpretation 

pub struct RealizabilityInterpretation {
    pub variant: String,
    pub formula: RealizedFormula,
    pub is_constructive: bool,
}

Kleene’s realizability / Kreisel’s modified realizability.

Fields

variant: String

Which variant: "kleene" or "kreisel".

formula: RealizedFormula

The formula being interpreted.

is_constructive: bool

Whether the interpretation is constructive.

Implementations

impl RealizabilityInterpretation

pub fn kleene(formula: RealizedFormula) -> Self

Create a Kleene realizability interpretation.

pub fn kreisel(formula: RealizedFormula) -> Self

Create a Kreisel modified-realizability interpretation.

Trait Implementations

impl Clone for RealizabilityInterpretation

fn clone(&self) -> RealizabilityInterpretation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RealizabilityInterpretation

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

Formats the value using the given formatter.