pub unsafe extern "C" fn mk_true(tm: *mut TermManager) -> TermExpand description
Create a Boolean true constant. @param tm The term manager instance. @return The true constant.
pub unsafe extern "C" fn mk_true(tm: *mut TermManager) -> TermCreate a Boolean true constant. @param tm The term manager instance. @return The true constant.