smtlib_lowlevel::lexicon

Type Alias BValue

Source 
pub type BValue = bool;