Enum fungi_lang::decide::apart::NmTmRule
source · pub enum NmTmRule {
Var(Var2),
Sym(NmTmDec),
Trans(NmTmDec, NmTmDec, NmTmDec),
Bin1(NmTmDec),
Bin2(NmTmDec),
BinEq1(NmTmDec),
BinEq2(NmTmDec),
Lam(Var2, Sort, NmTmDec),
App(NmTmDec, NmTmDec),
Beta(NmTmDer, NmTmDer, NmTmDec),
NoParse(String),
}
Expand description
Name term apartness rules
Fig. 24 of https://arxiv.org/abs/1610.00097v5
Variants
Var(Var2)
Sym(NmTmDec)
Trans(NmTmDec, NmTmDec, NmTmDec)
Bin1(NmTmDec)
Bin2(NmTmDec)
BinEq1(NmTmDec)
BinEq2(NmTmDec)
Lam(Var2, Sort, NmTmDec)
App(NmTmDec, NmTmDec)
Beta(NmTmDer, NmTmDer, NmTmDec)
NoParse(String)
Trait Implementations
impl Eq for NmTmRule
impl StructuralEq for NmTmRule
impl StructuralPartialEq for NmTmRule
Auto Trait Implementations
impl !RefUnwindSafe for NmTmRule
impl !Send for NmTmRule
impl !Sync for NmTmRule
impl Unpin for NmTmRule
impl !UnwindSafe for NmTmRule
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more