pub unsafe extern "C" fn mk_pi(tm: *mut TermManager) -> TermExpand description
Create a constant representing the number Pi. @param tm The term manager instance. @return A constant representing Pi.
pub unsafe extern "C" fn mk_pi(tm: *mut TermManager) -> TermCreate a constant representing the number Pi. @param tm The term manager instance. @return A constant representing Pi.