Function mk_boolean 

pub unsafe extern "C" fn mk_boolean(
    tm: *mut TermManager,
    val: bool,
) -> Term

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