Struct BarRecursion 

pub struct BarRecursion {
    pub type_level: usize,
    pub models_comprehension: bool,
}

Spector bar recursion.

Fields

type_level: usize

models_comprehension: bool

Implementations

impl BarRecursion

pub fn spector() -> Self

pub fn description(&self) -> String

pub fn kohlenbach_generalization(&self) -> String

Trait Implementations

impl Clone for BarRecursion

fn clone(&self) -> BarRecursion

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BarRecursion

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

Formats the value using the given formatter.