Function cvc5_mk_boolean 

pub unsafe extern "C" fn cvc5_mk_boolean(
    tm: *mut Cvc5TermManager,
    val: bool,
) -> Cvc5Term

Create a Boolean constant. @param tm The term manager instance. @return The Boolean constant. @param val The value of the constant.