[−][src]Struct smt2::response::Declaration

pub struct Declaration<E: Environment> {
    pub f: E::Function,
    pub args: Vec<SortedVar<E>>,
    pub return_sort: GroundSort<E::Sort>,
}

Function declaration.

Fields

f: E::Functionargs: Vec<SortedVar<E>>return_sort: GroundSort<E::Sort>

Trait Implementations

impl<E: Environment> From<Declaration<E>> for Located<Declaration> where
    E::Constant: Display,
    E::Ident: Display,
    E::Function: Display,
    E::Sort: Display, [src]

Auto Trait Implementations

impl<E> RefUnwindSafe for Declaration<E> where
    <E as Environment>::Function: RefUnwindSafe,
    <E as Environment>::Ident: RefUnwindSafe,
    <E as Environment>::Sort: RefUnwindSafe, 

impl<E> Send for Declaration<E> where
    <E as Environment>::Function: Send,
    <E as Environment>::Ident: Send,
    <E as Environment>::Sort: Send, 

impl<E> Sync for Declaration<E> where
    <E as Environment>::Function: Sync,
    <E as Environment>::Ident: Sync,
    <E as Environment>::Sort: Sync, 

impl<E> Unpin for Declaration<E> where
    <E as Environment>::Function: Unpin,
    <E as Environment>::Ident: Unpin,
    <E as Environment>::Sort: Unpin, 

impl<E> UnwindSafe for Declaration<E> where
    <E as Environment>::Function: UnwindSafe,
    <E as Environment>::Ident: UnwindSafe,
    <E as Environment>::Sort: UnwindSafe, 

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, 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.