History | View | Annotate | Download (195 Bytes)
(declare-rel cbrt (Real Real))
(declare-rel ceil (Real Real))
(declare-rel erf (Real Real))
(declare-rel fabs (Real Real))
(declare-rel pow (Real Real Real))
(declare-rel sqrt (Real Real))