Type Alias smtlib_lowlevel::lexicon::BValue

pub type BValue = bool;