/* CIVL model of math.h */

#ifdef __MATH__
#else
#define __MATH__

$abstract double sin(double x);

$abstract float sinf(float x);
     
$abstract long double sinl(long double x);

$abstract double sqrt(double x);

$abstract double ceil(double x);

$abstract double exp(double x);

$abstract double tan(double x);
     
$abstract float tanf(float x);
     
$abstract long double tanl(long double x);

#endif