Enum fungi_lang::bitype::Term
source · Expand description
Type terms; each can be defined by a module declaration, and carried (by identifier name) in the typing context, and used (by identifier name) to construct terms used in typing derivations.
Variants
NmTm(NameTm)
IdxTm(IdxTm)
Type(Type)
Trait Implementations
impl Eq for Term
impl StructuralEq for Term
impl StructuralPartialEq for Term
Auto Trait Implementations
impl RefUnwindSafe for Term
impl !Send for Term
impl !Sync for Term
impl Unpin for Term
impl UnwindSafe for Term
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