Type Definition minitt::syntax::Neutral

type Neutral = GenericNeutral<Value>;

Neut in Mini-TT, neutral value.

Trait Implementations

impl ReadBack for Neutral

type NormalForm = NormalNeutral

Corresponding normal form type for the read-backable structures. This is needed because Rust does not support Higher-Kinded Types :(

fn read_back(self, index: u32) -> Self::NormalForm

rbN in Mini-TT.

fn eq_normal(self, index: u32, other: Self) -> Result<(), String>

eqNf in Mini-TT. Whether two structures are equivalent up to normal form.