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