smtlib::terms

Trait IntoSTerm

Source 
pub trait IntoSTerm {
    // Required method
    fn into_sterm(self, st: &Storage) -> STerm<'_>;
}
Expand description

Construct a STerm with the presence of Storage

Required Methods§

Source

fn into_sterm(self, st: &Storage) -> STerm<'_>

Construct a STerm with the presence of Storage

Implementors§