Skip to main content

mk_pi

Function mk_pi 

Source
pub unsafe extern "C" fn mk_pi(tm: *mut TermManager) -> Term
Expand description

Create a constant representing the number Pi. @param tm The term manager instance. @return A constant representing Pi.