Trait smt2::error::Informative

pub trait Informative {
    fn informations(&self, i: &mut Infos);
}

Required methods

fn informations(&self, i: &mut Infos)

Loading content...

Implementors

impl Informative for smt2::syntax::error::Error

fn informations(&self, _i: &mut Infos)

impl<E: Environment> Informative for smt2::error::Error<E> where
    E::Sort: Display,
    E::Ident: Display, 

fn informations(&self, i: &mut Infos)

impl<S: Sort + Display> Informative for smt2::typing::Error<S>

fn informations(&self, i: &mut Infos)

Loading content...