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