pub struct TaggedPolyvar { /* private fields */ }
Expand description
τ ≤ Γ(a), τ is an instance of Γ(a) and (Γ(a) a type scheme
Trait Implementations
sourceimpl Clone for TaggedPolyvar
impl Clone for TaggedPolyvar
sourcefn clone(&self) -> TaggedPolyvar
fn clone(&self) -> TaggedPolyvar
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for TaggedPolyvar
impl Debug for TaggedPolyvar
sourceimpl<'de> Deserialize<'de> for TaggedPolyvar
impl<'de> Deserialize<'de> for TaggedPolyvar
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
sourceimpl Serialize for TaggedPolyvar
impl Serialize for TaggedPolyvar
Auto Trait Implementations
impl RefUnwindSafe for TaggedPolyvar
impl Send for TaggedPolyvar
impl Sync for TaggedPolyvar
impl Unpin for TaggedPolyvar
impl UnwindSafe for TaggedPolyvar
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