Enum fungi_lang::dynamics::NameTmVal
source · Expand description
Name Term Values. The value forms (name and lambda) for the Name Term sub-language (STLC + names).
Variants
Name(Name)
(Closed) name term
Lam(Var, NameTm)
(Closed) name function
Trait Implementations
impl Eq for NameTmVal
impl StructuralEq for NameTmVal
impl StructuralPartialEq for NameTmVal
Auto Trait Implementations
impl RefUnwindSafe for NameTmVal
impl !Send for NameTmVal
impl !Sync for NameTmVal
impl Unpin for NameTmVal
impl UnwindSafe for NameTmVal
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