Trait rsmt2::Sort2Smt
[−]
[src]
pub trait Sort2Smt { fn sort_to_smt2(&self, writer: &mut Write) -> Res<()>; }
A sort printable in the SMT Lib 2 standard.
Required Methods
fn sort_to_smt2(&self, writer: &mut Write) -> Res<()>
Prints a sort to a writer info.