[][src]Struct moore_svlog::ParamEnv

pub struct ParamEnv(_);

A parameter environment.

This is merely an handle that is cheap to copy and pass around. Use the Context to resolve this to the actual ParamEnvData.

Trait Implementations

impl Clone for ParamEnv[src]

impl Copy for ParamEnv[src]

impl Debug for ParamEnv[src]

impl Display for ParamEnv[src]

impl Eq for ParamEnv[src]

impl Hash for ParamEnv[src]

impl Ord for ParamEnv[src]

impl PartialEq<ParamEnv> for ParamEnv[src]

impl PartialOrd<ParamEnv> for ParamEnv[src]

impl StructuralEq for ParamEnv[src]

impl StructuralPartialEq for ParamEnv[src]

impl<'a> WalkVisitor<'a> for ParamEnv[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Pointable for T

type Init = T

The type for initializers.

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.