rustproof_libsmt::backends::backend

Trait Logic

Source 
pub trait Logic:
    Display
    + Clone
    + Copy {
    type Fns: SMTNode + Display + Debug + Clone;
    type Sorts: Display + Debug + Clone;

    // Required method
    fn free_var<T: AsRef<str>>(_: T, _: Self::Sorts) -> Self::Fns;
}

Required Associated Types§

Source

type Fns: SMTNode + Display + Debug + Clone

Source

type Sorts: Display + Debug + Clone

Required Methods§

Source

fn free_var<T: AsRef<str>>(_: T, _: Self::Sorts) -> Self::Fns

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§