Enum fungi_lang::ast::Prop
source · pub enum Prop {
Tt,
Equiv(IdxTm, IdxTm, Sort),
Apart(IdxTm, IdxTm, Sort),
Conj(PropRec, PropRec),
NoParse(String),
}
Expand description
Propositions about name and index terms
Variants
Tt
Equiv(IdxTm, IdxTm, Sort)
Apart(IdxTm, IdxTm, Sort)
Conj(PropRec, PropRec)
NoParse(String)
Trait Implementations
impl Eq for Prop
impl StructuralEq for Prop
impl StructuralPartialEq for Prop
Auto Trait Implementations
impl RefUnwindSafe for Prop
impl !Send for Prop
impl !Sync for Prop
impl Unpin for Prop
impl UnwindSafe for Prop
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