t={ rel sqrt(Real x, Real y) c::sqrt(x, y) rel random(Real x) c::random(x) rel abs(Integer x, Integer y) c::abs(x, y) rel floor(Real x, Integer y) c::floor(x, y) rel ceil(Real x, Integer y) c::ceiling(x, y) rel min(Real x, Integer y) c::inf(x, y) rel max(Real x, Integer y) c::sup(x, y) /* ... */ rel add(x,y,z) z=x+y rel sub(x,y,z) z=x-y rel mul(x,y,z) z=x*y rel div(x,y,z) z=x/y rel inc(x,y) y=x+1//c::inc(x,y) rel dec(x,y) y=x-1//c::dec(x,y) /* ... */ rel stringToNumber(s,n) c::number_string(n,s) rel integerToString(Integer n, String s) c::number_string(n,s) rel realToString(Real n, String s) c::number_string(n,s) rel integerToReal(Integer n, Real x) c::integer_float(n,x) rel realToInteger(Real n, Real x) c::integer_float(n,x) } export(t)