Module Posix_math_stubs.Def

Parameters

module F : Cstubs.FOREIGN

Signature

module Types : sig ... end
include module type of struct include Types end
val sizeof_float_t : int
val alignof_float_t : int
val sizeof_double_t : int
val alignof_double_t : int
val fp_infinite : int
val fp_nan : int
val fp_normal : int
val fp_subnormal : int
val fp_zero : int
val float_t : float Ctypes_static.typ
val double_t : float Ctypes_static.typ
val fpclassify : (float -> int F.return) F.result
val isfinite : (float -> bool F.return) F.result
val isgreater : (float -> float -> bool F.return) F.result
val isgreaterequal : (float -> float -> bool F.return) F.result
val isinf : (float -> bool F.return) F.result
val isless : (float -> float -> bool F.return) F.result
val islessequal : (float -> float -> bool F.return) F.result
val islessgreater : (float -> float -> bool F.return) F.result
val isnan : (float -> bool F.return) F.result
val isnormal : (float -> bool F.return) F.result
val isunordered : (float -> float -> bool F.return) F.result
val signbit : (float -> bool F.return) F.result
val m_e : (unit -> float F.return) F.result
val m_log2e : (unit -> float F.return) F.result
val m_log10e : (unit -> float F.return) F.result
val m_ln2 : (unit -> float F.return) F.result
val m_ln10 : (unit -> float F.return) F.result
val m_pi : (unit -> float F.return) F.result
val m_pi_2 : (unit -> float F.return) F.result
val m_pi_4 : (unit -> float F.return) F.result
val m_1_pi : (unit -> float F.return) F.result
val m_2_pi : (unit -> float F.return) F.result
val m_2_sqrtpi : (unit -> float F.return) F.result
val m_sqrt2 : (unit -> float F.return) F.result
val m_sqrt1_2 : (unit -> float F.return) F.result
val signgam : (unit -> int Ctypes_static.ptr F.return) F.result
val huge_val : (unit -> float F.return) F.result
val huge_valf : (unit -> float F.return) F.result
val huge_vall : (unit -> LDouble.t F.return) F.result
val infinity : (unit -> float F.return) F.result
val nan_constant : (unit -> float F.return) F.result
val acos : (float -> float F.return) F.result
val acosf : (float -> float F.return) F.result
val acosh : (float -> float F.return) F.result
val acoshf : (float -> float F.return) F.result
val acoshl : (LDouble.t -> LDouble.t F.return) F.result
val acosl : (LDouble.t -> LDouble.t F.return) F.result
val asin : (float -> float F.return) F.result
val asinf : (float -> float F.return) F.result
val asinh : (float -> float F.return) F.result
val asinhf : (float -> float F.return) F.result
val asinhl : (LDouble.t -> LDouble.t F.return) F.result
val asinl : (LDouble.t -> LDouble.t F.return) F.result
val atan : (float -> float F.return) F.result
val atan2 : (float -> float -> float F.return) F.result
val atan2f : (float -> float -> float F.return) F.result
val atan2l : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val atanf : (float -> float F.return) F.result
val atanh : (float -> float F.return) F.result
val atanhf : (float -> float F.return) F.result
val atanhl : (LDouble.t -> LDouble.t F.return) F.result
val atanl : (LDouble.t -> LDouble.t F.return) F.result
val cbrt : (float -> float F.return) F.result
val cbrtf : (float -> float F.return) F.result
val cbrtl : (LDouble.t -> LDouble.t F.return) F.result
val ceil : (float -> float F.return) F.result
val ceilf : (float -> float F.return) F.result
val ceill : (LDouble.t -> LDouble.t F.return) F.result
val copysign : (float -> float -> float F.return) F.result
val copysignf : (float -> float -> float F.return) F.result
val copysignl : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val cos : (float -> float F.return) F.result
val cosf : (float -> float F.return) F.result
val cosh : (float -> float F.return) F.result
val coshf : (float -> float F.return) F.result
val coshl : (LDouble.t -> LDouble.t F.return) F.result
val cosl : (LDouble.t -> LDouble.t F.return) F.result
val erf : (float -> float F.return) F.result
val erfc : (float -> float F.return) F.result
val erfcf : (float -> float F.return) F.result
val erfcl : (LDouble.t -> LDouble.t F.return) F.result
val erff : (float -> float F.return) F.result
val erfl : (LDouble.t -> LDouble.t F.return) F.result
val exp : (float -> float F.return) F.result
val exp2 : (float -> float F.return) F.result
val exp2f : (float -> float F.return) F.result
val exp2l : (LDouble.t -> LDouble.t F.return) F.result
val expf : (float -> float F.return) F.result
val expl : (LDouble.t -> LDouble.t F.return) F.result
val expm1 : (float -> float F.return) F.result
val expm1f : (float -> float F.return) F.result
val expm1l : (LDouble.t -> LDouble.t F.return) F.result
val fabs : (float -> float F.return) F.result
val fabsf : (float -> float F.return) F.result
val fabsl : (LDouble.t -> LDouble.t F.return) F.result
val fdim : (float -> float -> float F.return) F.result
val fdimf : (float -> float -> float F.return) F.result
val fdiml : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val floor : (float -> float F.return) F.result
val floorf : (float -> float F.return) F.result
val floorl : (LDouble.t -> LDouble.t F.return) F.result
val fma : (float -> float -> float -> float F.return) F.result
val fmaf : (float -> float -> float -> float F.return) F.result
val fmal : (LDouble.t -> LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val fmax : (float -> float -> float F.return) F.result
val fmaxf : (float -> float -> float F.return) F.result
val fmaxl : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val fmin : (float -> float -> float F.return) F.result
val fminf : (float -> float -> float F.return) F.result
val fminl : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val fmod : (float -> float -> float F.return) F.result
val fmodf : (float -> float -> float F.return) F.result
val fmodl : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val frexp : (float -> int Ctypes_static.ptr -> float F.return) F.result
val frexpf : (float -> int Ctypes_static.ptr -> float F.return) F.result
val frexpl : (LDouble.t -> int Ctypes_static.ptr -> LDouble.t F.return) F.result
val hypot : (float -> float -> float F.return) F.result
val hypotf : (float -> float -> float F.return) F.result
val hypotl : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val ilogb : (float -> int F.return) F.result
val ilogbf : (float -> int F.return) F.result
val ilogbl : (LDouble.t -> int F.return) F.result
val j0 : (float -> float F.return) F.result
val j1 : (float -> float F.return) F.result
val jn : (int -> float -> float F.return) F.result
val ldexp : (float -> int -> float F.return) F.result
val ldexpf : (float -> int -> float F.return) F.result
val ldexpl : (LDouble.t -> int -> LDouble.t F.return) F.result
val lgamma : (float -> float F.return) F.result
val lgammaf : (float -> float F.return) F.result
val lgammal : (LDouble.t -> LDouble.t F.return) F.result
val llrint : (float -> Signed.llong F.return) F.result
val llrintf : (float -> Signed.llong F.return) F.result
val llrintl : (LDouble.t -> Signed.llong F.return) F.result
val llround : (float -> Signed.llong F.return) F.result
val llroundf : (float -> Signed.llong F.return) F.result
val llroundl : (LDouble.t -> Signed.llong F.return) F.result
val log : (float -> float F.return) F.result
val log10 : (float -> float F.return) F.result
val log10f : (float -> float F.return) F.result
val log10l : (LDouble.t -> LDouble.t F.return) F.result
val log1p : (float -> float F.return) F.result
val log1pf : (float -> float F.return) F.result
val log1pl : (LDouble.t -> LDouble.t F.return) F.result
val log2 : (float -> float F.return) F.result
val log2f : (float -> float F.return) F.result
val log2l : (LDouble.t -> LDouble.t F.return) F.result
val logb : (float -> float F.return) F.result
val logbf : (float -> float F.return) F.result
val logbl : (LDouble.t -> LDouble.t F.return) F.result
val logf : (float -> float F.return) F.result
val logl : (LDouble.t -> LDouble.t F.return) F.result
val lrint : (float -> Signed.long F.return) F.result
val lrintf : (float -> Signed.long F.return) F.result
val lrintl : (LDouble.t -> Signed.long F.return) F.result
val lround : (float -> Signed.long F.return) F.result
val lroundf : (float -> Signed.long F.return) F.result
val lroundl : (LDouble.t -> Signed.long F.return) F.result
val modf : (float -> float Ctypes_static.ptr -> float F.return) F.result
val modff : (float -> float Ctypes_static.ptr -> float F.return) F.result
val modfl : (LDouble.t -> LDouble.t Ctypes_static.ptr -> LDouble.t F.return) F.result
val nan : (string -> float F.return) F.result
val nanf : (string -> float F.return) F.result
val nanl : (string -> LDouble.t F.return) F.result
val nearbyint : (float -> float F.return) F.result
val nearbyintf : (float -> float F.return) F.result
val nearbyintl : (LDouble.t -> LDouble.t F.return) F.result
val nextafter : (float -> float -> float F.return) F.result
val nextafterf : (float -> float -> float F.return) F.result
val nextafterl : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val nexttoward : (float -> LDouble.t -> float F.return) F.result
val nexttowardf : (float -> LDouble.t -> float F.return) F.result
val nexttowardl : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val pow : (float -> float -> float F.return) F.result
val powf : (float -> float -> float F.return) F.result
val powl : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val remainder : (float -> float -> float F.return) F.result
val remainderf : (float -> float -> float F.return) F.result
val remainderl : (LDouble.t -> LDouble.t -> LDouble.t F.return) F.result
val remquo : (float -> float -> int Ctypes_static.ptr -> float F.return) F.result
val remquof : (float -> float -> int Ctypes_static.ptr -> float F.return) F.result
val remquol : (LDouble.t -> LDouble.t -> int Ctypes_static.ptr -> LDouble.t F.return) F.result
val rint : (float -> float F.return) F.result
val rintf : (float -> float F.return) F.result
val rintl : (LDouble.t -> LDouble.t F.return) F.result
val round : (float -> float F.return) F.result
val roundf : (float -> float F.return) F.result
val roundl : (LDouble.t -> LDouble.t F.return) F.result
val scalbln : (float -> Signed.long -> float F.return) F.result
val scalblnf : (float -> Signed.long -> float F.return) F.result
val scalblnl : (LDouble.t -> Signed.long -> LDouble.t F.return) F.result
val scalbn : (float -> int -> float F.return) F.result
val scalbnf : (float -> int -> float F.return) F.result
val scalbnl : (LDouble.t -> int -> LDouble.t F.return) F.result
val sin : (float -> float F.return) F.result
val sinf : (float -> float F.return) F.result
val sinh : (float -> float F.return) F.result
val sinhf : (float -> float F.return) F.result
val sinhl : (LDouble.t -> LDouble.t F.return) F.result
val sinl : (LDouble.t -> LDouble.t F.return) F.result
val sqrt : (float -> float F.return) F.result
val sqrtf : (float -> float F.return) F.result
val sqrtl : (LDouble.t -> LDouble.t F.return) F.result
val tan : (float -> float F.return) F.result
val tanf : (float -> float F.return) F.result
val tanh : (float -> float F.return) F.result
val tanhf : (float -> float F.return) F.result
val tanhl : (LDouble.t -> LDouble.t F.return) F.result
val tanl : (LDouble.t -> LDouble.t F.return) F.result
val tgamma : (float -> float F.return) F.result
val tgammaf : (float -> float F.return) F.result
val tgammal : (LDouble.t -> LDouble.t F.return) F.result
val trunc : (float -> float F.return) F.result
val truncf : (float -> float F.return) F.result
val truncl : (LDouble.t -> LDouble.t F.return) F.result
val y0 : (float -> float F.return) F.result
val y1 : (float -> float F.return) F.result
val yn : (int -> float -> float F.return) F.result