pub enum Polyvar {
Tagged(TaggedPolyvar),
Inherited(BinProtRule),
}
Expand description
τ ≤ Γ(a), τ is an instance of Γ(a) and (Γ(a) a type scheme
Variants
Tagged(TaggedPolyvar)
An instance of Γ(a)
Inherited(BinProtRule)
An instance of Γ(a)
Trait Implementations
sourceimpl<'de> Deserialize<'de> for Polyvar
impl<'de> Deserialize<'de> for Polyvar
sourcefn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations
impl RefUnwindSafe for Polyvar
impl Send for Polyvar
impl Sync for Polyvar
impl Unpin for Polyvar
impl UnwindSafe for Polyvar
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