Enum dedukti_parse::parse::Intro [−][src]
pub enum Intro<Ty, Tm = Ty> {
Definition(Option<Ty>, Option<Tm>),
Theorem(Ty, Tm),
Declaration(Ty),
}
Variants
Trait Implementations
Auto Trait Implementations
impl<Ty, Tm> RefUnwindSafe for Intro<Ty, Tm> where
Tm: RefUnwindSafe,
Ty: RefUnwindSafe,
impl<Ty, Tm> UnwindSafe for Intro<Ty, Tm> where
Tm: UnwindSafe,
Ty: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more