Source file posix_math_generated_stubs.ml

module CI = Cstubs_internals

external posix_math_1_fpclassify : float -> int = "posix_math_1_fpclassify" 

external posix_math_2_isfinite : float -> bool = "posix_math_2_isfinite" 

external posix_math_3_isgreater : float -> float -> bool
  = "posix_math_3_isgreater" 

external posix_math_4_isgreaterequal : float -> float -> bool
  = "posix_math_4_isgreaterequal" 

external posix_math_5_isinf : float -> bool = "posix_math_5_isinf" 

external posix_math_6_isless : float -> float -> bool = "posix_math_6_isless" 

external posix_math_7_islessequal : float -> float -> bool
  = "posix_math_7_islessequal" 

external posix_math_8_islessgreater : float -> float -> bool
  = "posix_math_8_islessgreater" 

external posix_math_9_isnan : float -> bool = "posix_math_9_isnan" 

external posix_math_10_isnormal : float -> bool = "posix_math_10_isnormal" 

external posix_math_11_isunordered : float -> float -> bool
  = "posix_math_11_isunordered" 

external posix_math_12_signbit : float -> bool = "posix_math_12_signbit" 

external posix_math_13_ocaml_posix_math_m_e : unit -> float
  = "posix_math_13_ocaml_posix_math_m_e" 

external posix_math_14_ocaml_posix_math_m_log2e : unit -> float
  = "posix_math_14_ocaml_posix_math_m_log2e" 

external posix_math_15_ocaml_posix_math_m_log10e : unit -> float
  = "posix_math_15_ocaml_posix_math_m_log10e" 

external posix_math_16_ocaml_posix_math_m_ln2 : unit -> float
  = "posix_math_16_ocaml_posix_math_m_ln2" 

external posix_math_17_ocaml_posix_math_m_ln10 : unit -> float
  = "posix_math_17_ocaml_posix_math_m_ln10" 

external posix_math_18_ocaml_posix_math_m_pi : unit -> float
  = "posix_math_18_ocaml_posix_math_m_pi" 

external posix_math_19_ocaml_posix_math_m_pi_2 : unit -> float
  = "posix_math_19_ocaml_posix_math_m_pi_2" 

external posix_math_20_ocaml_posix_math_m_pi_4 : unit -> float
  = "posix_math_20_ocaml_posix_math_m_pi_4" 

external posix_math_21_ocaml_posix_math_m_1_pi : unit -> float
  = "posix_math_21_ocaml_posix_math_m_1_pi" 

external posix_math_22_ocaml_posix_math_m_2_pi : unit -> float
  = "posix_math_22_ocaml_posix_math_m_2_pi" 

external posix_math_23_ocaml_posix_math_m_2_sqrtpi : unit -> float
  = "posix_math_23_ocaml_posix_math_m_2_sqrtpi" 

external posix_math_24_ocaml_posix_math_m_sqrt2 : unit -> float
  = "posix_math_24_ocaml_posix_math_m_sqrt2" 

external posix_math_25_ocaml_posix_math_m_sqrt1_2 : unit -> float
  = "posix_math_25_ocaml_posix_math_m_sqrt1_2" 

external posix_math_26_ocaml_posix_math_signgam : unit -> CI.voidp
  = "posix_math_26_ocaml_posix_math_signgam" 

external posix_math_27_ocaml_posix_math_huge_val : unit -> float
  = "posix_math_27_ocaml_posix_math_huge_val" 

external posix_math_28_ocaml_posix_math_huge_valf : unit -> float
  = "posix_math_28_ocaml_posix_math_huge_valf" 

external posix_math_29_ocaml_posix_math_huge_vall : unit -> LDouble.t
  = "posix_math_29_ocaml_posix_math_huge_vall" 

external posix_math_30_ocaml_posix_math_infinity : unit -> float
  = "posix_math_30_ocaml_posix_math_infinity" 

external posix_math_31_ocaml_posix_math_nan : unit -> float
  = "posix_math_31_ocaml_posix_math_nan" 

external posix_math_32_acos : float -> float = "posix_math_32_acos" 

external posix_math_33_acosf : float -> float = "posix_math_33_acosf" 

external posix_math_34_acosh : float -> float = "posix_math_34_acosh" 

external posix_math_35_acoshf : float -> float = "posix_math_35_acoshf" 

external posix_math_36_acoshl : LDouble.t -> LDouble.t
  = "posix_math_36_acoshl" 

external posix_math_37_acosl : LDouble.t -> LDouble.t = "posix_math_37_acosl" 

external posix_math_38_asin : float -> float = "posix_math_38_asin" 

external posix_math_39_asinf : float -> float = "posix_math_39_asinf" 

external posix_math_40_asinh : float -> float = "posix_math_40_asinh" 

external posix_math_41_asinhf : float -> float = "posix_math_41_asinhf" 

external posix_math_42_asinhl : LDouble.t -> LDouble.t
  = "posix_math_42_asinhl" 

external posix_math_43_asinl : LDouble.t -> LDouble.t = "posix_math_43_asinl" 

external posix_math_44_atan : float -> float = "posix_math_44_atan" 

external posix_math_45_atan2 : float -> float -> float
  = "posix_math_45_atan2" 

external posix_math_46_atan2f : float -> float -> float
  = "posix_math_46_atan2f" 

external posix_math_47_atan2l : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_47_atan2l" 

external posix_math_48_atanf : float -> float = "posix_math_48_atanf" 

external posix_math_49_atanh : float -> float = "posix_math_49_atanh" 

external posix_math_50_atanhf : float -> float = "posix_math_50_atanhf" 

external posix_math_51_atanhl : LDouble.t -> LDouble.t
  = "posix_math_51_atanhl" 

external posix_math_52_atanl : LDouble.t -> LDouble.t = "posix_math_52_atanl" 

external posix_math_53_cbrt : float -> float = "posix_math_53_cbrt" 

external posix_math_54_cbrtf : float -> float = "posix_math_54_cbrtf" 

external posix_math_55_cbrtl : LDouble.t -> LDouble.t = "posix_math_55_cbrtl" 

external posix_math_56_ceil : float -> float = "posix_math_56_ceil" 

external posix_math_57_ceilf : float -> float = "posix_math_57_ceilf" 

external posix_math_58_ceill : LDouble.t -> LDouble.t = "posix_math_58_ceill" 

external posix_math_59_copysign : float -> float -> float
  = "posix_math_59_copysign" 

external posix_math_60_copysignf : float -> float -> float
  = "posix_math_60_copysignf" 

external posix_math_61_copysignl : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_61_copysignl" 

external posix_math_62_cos : float -> float = "posix_math_62_cos" 

external posix_math_63_cosf : float -> float = "posix_math_63_cosf" 

external posix_math_64_cosh : float -> float = "posix_math_64_cosh" 

external posix_math_65_coshf : float -> float = "posix_math_65_coshf" 

external posix_math_66_coshl : LDouble.t -> LDouble.t = "posix_math_66_coshl" 

external posix_math_67_cosl : LDouble.t -> LDouble.t = "posix_math_67_cosl" 

external posix_math_68_erf : float -> float = "posix_math_68_erf" 

external posix_math_69_erfc : float -> float = "posix_math_69_erfc" 

external posix_math_70_erfcf : float -> float = "posix_math_70_erfcf" 

external posix_math_71_erfcl : LDouble.t -> LDouble.t = "posix_math_71_erfcl" 

external posix_math_72_erff : float -> float = "posix_math_72_erff" 

external posix_math_73_erfl : LDouble.t -> LDouble.t = "posix_math_73_erfl" 

external posix_math_74_exp : float -> float = "posix_math_74_exp" 

external posix_math_75_exp2 : float -> float = "posix_math_75_exp2" 

external posix_math_76_exp2f : float -> float = "posix_math_76_exp2f" 

external posix_math_77_exp2l : LDouble.t -> LDouble.t = "posix_math_77_exp2l" 

external posix_math_78_expf : float -> float = "posix_math_78_expf" 

external posix_math_79_expl : LDouble.t -> LDouble.t = "posix_math_79_expl" 

external posix_math_80_expm1 : float -> float = "posix_math_80_expm1" 

external posix_math_81_expm1f : float -> float = "posix_math_81_expm1f" 

external posix_math_82_expm1l : LDouble.t -> LDouble.t
  = "posix_math_82_expm1l" 

external posix_math_83_fabs : float -> float = "posix_math_83_fabs" 

external posix_math_84_fabsf : float -> float = "posix_math_84_fabsf" 

external posix_math_85_fabsl : LDouble.t -> LDouble.t = "posix_math_85_fabsl" 

external posix_math_86_fdim : float -> float -> float = "posix_math_86_fdim" 

external posix_math_87_fdimf : float -> float -> float
  = "posix_math_87_fdimf" 

external posix_math_88_fdiml : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_88_fdiml" 

external posix_math_89_floor : float -> float = "posix_math_89_floor" 

external posix_math_90_floorf : float -> float = "posix_math_90_floorf" 

external posix_math_91_floorl : LDouble.t -> LDouble.t
  = "posix_math_91_floorl" 

external posix_math_92_fma : float -> float -> float -> float
  = "posix_math_92_fma" 

external posix_math_93_fmaf : float -> float -> float -> float
  = "posix_math_93_fmaf" 

external posix_math_94_fmal
  : LDouble.t -> LDouble.t -> LDouble.t -> LDouble.t = "posix_math_94_fmal" 

external posix_math_95_fmax : float -> float -> float = "posix_math_95_fmax" 

external posix_math_96_fmaxf : float -> float -> float
  = "posix_math_96_fmaxf" 

external posix_math_97_fmaxl : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_97_fmaxl" 

external posix_math_98_fmin : float -> float -> float = "posix_math_98_fmin" 

external posix_math_99_fminf : float -> float -> float
  = "posix_math_99_fminf" 

external posix_math_100_fminl : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_100_fminl" 

external posix_math_101_fmod : float -> float -> float
  = "posix_math_101_fmod" 

external posix_math_102_fmodf : float -> float -> float
  = "posix_math_102_fmodf" 

external posix_math_103_fmodl : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_103_fmodl" 

external posix_math_104_frexp : float -> _ CI.fatptr -> float
  = "posix_math_104_frexp" 

external posix_math_105_frexpf : float -> _ CI.fatptr -> float
  = "posix_math_105_frexpf" 

external posix_math_106_frexpl : LDouble.t -> _ CI.fatptr -> LDouble.t
  = "posix_math_106_frexpl" 

external posix_math_107_hypot : float -> float -> float
  = "posix_math_107_hypot" 

external posix_math_108_hypotf : float -> float -> float
  = "posix_math_108_hypotf" 

external posix_math_109_hypotl : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_109_hypotl" 

external posix_math_110_ilogb : float -> int = "posix_math_110_ilogb" 

external posix_math_111_ilogbf : float -> int = "posix_math_111_ilogbf" 

external posix_math_112_ilogbl : LDouble.t -> int = "posix_math_112_ilogbl" 

external posix_math_113_j0 : float -> float = "posix_math_113_j0" 

external posix_math_114_j1 : float -> float = "posix_math_114_j1" 

external posix_math_115_jn : int -> float -> float = "posix_math_115_jn" 

external posix_math_116_ldexp : float -> int -> float
  = "posix_math_116_ldexp" 

external posix_math_117_ldexpf : float -> int -> float
  = "posix_math_117_ldexpf" 

external posix_math_118_ldexpl : LDouble.t -> int -> LDouble.t
  = "posix_math_118_ldexpl" 

external posix_math_119_lgamma : float -> float = "posix_math_119_lgamma" 

external posix_math_120_lgammaf : float -> float = "posix_math_120_lgammaf" 

external posix_math_121_lgammal : LDouble.t -> LDouble.t
  = "posix_math_121_lgammal" 

external posix_math_122_llrint : float -> Signed.llong
  = "posix_math_122_llrint" 

external posix_math_123_llrintf : float -> Signed.llong
  = "posix_math_123_llrintf" 

external posix_math_124_llrintl : LDouble.t -> Signed.llong
  = "posix_math_124_llrintl" 

external posix_math_125_llround : float -> Signed.llong
  = "posix_math_125_llround" 

external posix_math_126_llroundf : float -> Signed.llong
  = "posix_math_126_llroundf" 

external posix_math_127_llroundl : LDouble.t -> Signed.llong
  = "posix_math_127_llroundl" 

external posix_math_128_log : float -> float = "posix_math_128_log" 

external posix_math_129_log10 : float -> float = "posix_math_129_log10" 

external posix_math_130_log10f : float -> float = "posix_math_130_log10f" 

external posix_math_131_log10l : LDouble.t -> LDouble.t
  = "posix_math_131_log10l" 

external posix_math_132_log1p : float -> float = "posix_math_132_log1p" 

external posix_math_133_log1pf : float -> float = "posix_math_133_log1pf" 

external posix_math_134_log1pl : LDouble.t -> LDouble.t
  = "posix_math_134_log1pl" 

external posix_math_135_log2 : float -> float = "posix_math_135_log2" 

external posix_math_136_log2f : float -> float = "posix_math_136_log2f" 

external posix_math_137_log2l : LDouble.t -> LDouble.t
  = "posix_math_137_log2l" 

external posix_math_138_logb : float -> float = "posix_math_138_logb" 

external posix_math_139_logbf : float -> float = "posix_math_139_logbf" 

external posix_math_140_logbl : LDouble.t -> LDouble.t
  = "posix_math_140_logbl" 

external posix_math_141_logf : float -> float = "posix_math_141_logf" 

external posix_math_142_logl : LDouble.t -> LDouble.t = "posix_math_142_logl" 

external posix_math_143_lrint : float -> Signed.long = "posix_math_143_lrint" 

external posix_math_144_lrintf : float -> Signed.long
  = "posix_math_144_lrintf" 

external posix_math_145_lrintl : LDouble.t -> Signed.long
  = "posix_math_145_lrintl" 

external posix_math_146_lround : float -> Signed.long
  = "posix_math_146_lround" 

external posix_math_147_lroundf : float -> Signed.long
  = "posix_math_147_lroundf" 

external posix_math_148_lroundl : LDouble.t -> Signed.long
  = "posix_math_148_lroundl" 

external posix_math_149_modf : float -> _ CI.fatptr -> float
  = "posix_math_149_modf" 

external posix_math_150_modff : float -> _ CI.fatptr -> float
  = "posix_math_150_modff" 

external posix_math_151_modfl : LDouble.t -> _ CI.fatptr -> LDouble.t
  = "posix_math_151_modfl" 

external posix_math_152_nan : _ CI.fatptr -> float = "posix_math_152_nan" 

external posix_math_153_nanf : _ CI.fatptr -> float = "posix_math_153_nanf" 

external posix_math_154_nanl : _ CI.fatptr -> LDouble.t
  = "posix_math_154_nanl" 

external posix_math_155_nearbyint : float -> float
  = "posix_math_155_nearbyint" 

external posix_math_156_nearbyintf : float -> float
  = "posix_math_156_nearbyintf" 

external posix_math_157_nearbyintl : LDouble.t -> LDouble.t
  = "posix_math_157_nearbyintl" 

external posix_math_158_nextafter : float -> float -> float
  = "posix_math_158_nextafter" 

external posix_math_159_nextafterf : float -> float -> float
  = "posix_math_159_nextafterf" 

external posix_math_160_nextafterl : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_160_nextafterl" 

external posix_math_161_nexttoward : float -> LDouble.t -> float
  = "posix_math_161_nexttoward" 

external posix_math_162_nexttowardf : float -> LDouble.t -> float
  = "posix_math_162_nexttowardf" 

external posix_math_163_nexttowardl : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_163_nexttowardl" 

external posix_math_164_pow : float -> float -> float = "posix_math_164_pow" 

external posix_math_165_powf : float -> float -> float
  = "posix_math_165_powf" 

external posix_math_166_powl : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_166_powl" 

external posix_math_167_remainder : float -> float -> float
  = "posix_math_167_remainder" 

external posix_math_168_remainderf : float -> float -> float
  = "posix_math_168_remainderf" 

external posix_math_169_remainderl : LDouble.t -> LDouble.t -> LDouble.t
  = "posix_math_169_remainderl" 

external posix_math_170_remquo : float -> float -> _ CI.fatptr -> float
  = "posix_math_170_remquo" 

external posix_math_171_remquof : float -> float -> _ CI.fatptr -> float
  = "posix_math_171_remquof" 

external posix_math_172_remquol
  : LDouble.t -> LDouble.t -> _ CI.fatptr -> LDouble.t
  = "posix_math_172_remquol" 

external posix_math_173_rint : float -> float = "posix_math_173_rint" 

external posix_math_174_rintf : float -> float = "posix_math_174_rintf" 

external posix_math_175_rintl : LDouble.t -> LDouble.t
  = "posix_math_175_rintl" 

external posix_math_176_round : float -> float = "posix_math_176_round" 

external posix_math_177_roundf : float -> float = "posix_math_177_roundf" 

external posix_math_178_roundl : LDouble.t -> LDouble.t
  = "posix_math_178_roundl" 

external posix_math_179_scalbln : float -> Signed.long -> float
  = "posix_math_179_scalbln" 

external posix_math_180_scalblnf : float -> Signed.long -> float
  = "posix_math_180_scalblnf" 

external posix_math_181_scalblnl : LDouble.t -> Signed.long -> LDouble.t
  = "posix_math_181_scalblnl" 

external posix_math_182_scalbn : float -> int -> float
  = "posix_math_182_scalbn" 

external posix_math_183_scalbnf : float -> int -> float
  = "posix_math_183_scalbnf" 

external posix_math_184_scalbnl : LDouble.t -> int -> LDouble.t
  = "posix_math_184_scalbnl" 

external posix_math_185_sin : float -> float = "posix_math_185_sin" 

external posix_math_186_sinf : float -> float = "posix_math_186_sinf" 

external posix_math_187_sinh : float -> float = "posix_math_187_sinh" 

external posix_math_188_sinhf : float -> float = "posix_math_188_sinhf" 

external posix_math_189_sinhl : LDouble.t -> LDouble.t
  = "posix_math_189_sinhl" 

external posix_math_190_sinl : LDouble.t -> LDouble.t = "posix_math_190_sinl" 

external posix_math_191_sqrt : float -> float = "posix_math_191_sqrt" 

external posix_math_192_sqrtf : float -> float = "posix_math_192_sqrtf" 

external posix_math_193_sqrtl : LDouble.t -> LDouble.t
  = "posix_math_193_sqrtl" 

external posix_math_194_tan : float -> float = "posix_math_194_tan" 

external posix_math_195_tanf : float -> float = "posix_math_195_tanf" 

external posix_math_196_tanh : float -> float = "posix_math_196_tanh" 

external posix_math_197_tanhf : float -> float = "posix_math_197_tanhf" 

external posix_math_198_tanhl : LDouble.t -> LDouble.t
  = "posix_math_198_tanhl" 

external posix_math_199_tanl : LDouble.t -> LDouble.t = "posix_math_199_tanl" 

external posix_math_200_tgamma : float -> float = "posix_math_200_tgamma" 

external posix_math_201_tgammaf : float -> float = "posix_math_201_tgammaf" 

external posix_math_202_tgammal : LDouble.t -> LDouble.t
  = "posix_math_202_tgammal" 

external posix_math_203_trunc : float -> float = "posix_math_203_trunc" 

external posix_math_204_truncf : float -> float = "posix_math_204_truncf" 

external posix_math_205_truncl : LDouble.t -> LDouble.t
  = "posix_math_205_truncl" 

external posix_math_206_y0 : float -> float = "posix_math_206_y0" 

external posix_math_207_y1 : float -> float = "posix_math_207_y1" 

external posix_math_208_yn : int -> float -> float = "posix_math_208_yn" 

type 'a result = 'a
type 'a return = 'a
type 'a fn =
 | Returns  : 'a CI.typ   -> 'a return fn
 | Function : 'a CI.typ * 'b fn  -> ('a -> 'b) fn
let map_result f x = f x
let returning t = Returns t
let (@->) f p = Function (f, p)
let foreign : type a b. string -> (a -> b) fn -> (a -> b) =
  fun name t -> match t, name with
| Function
    (CI.Primitive CI.Int,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "yn" -> posix_math_208_yn
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "y1" ->
  posix_math_207_y1
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "y0" ->
  posix_math_206_y0
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "truncl" -> posix_math_205_truncl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "truncf" ->
  posix_math_204_truncf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "trunc" -> posix_math_203_trunc
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "tgammal" -> posix_math_202_tgammal
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)),
  "tgammaf" -> posix_math_201_tgammaf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "tgamma" -> posix_math_200_tgamma
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "tanl" -> posix_math_199_tanl
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "tanhl" -> posix_math_198_tanhl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "tanhf" ->
  posix_math_197_tanhf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "tanh" ->
  posix_math_196_tanh
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "tanf" ->
  posix_math_195_tanf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "tan" ->
  posix_math_194_tan
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "sqrtl" -> posix_math_193_sqrtl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "sqrtf" ->
  posix_math_192_sqrtf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "sqrt" ->
  posix_math_191_sqrt
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "sinl" -> posix_math_190_sinl
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "sinhl" -> posix_math_189_sinhl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "sinhf" ->
  posix_math_188_sinhf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "sinh" ->
  posix_math_187_sinh
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "sinf" ->
  posix_math_186_sinf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "sin" ->
  posix_math_185_sin
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.LDouble))),
  "scalbnl" -> posix_math_184_scalbnl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Float))),
  "scalbnf" -> posix_math_183_scalbnf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Double))),
  "scalbn" -> posix_math_182_scalbn
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.Long, Returns (CI.Primitive CI.LDouble))),
  "scalblnl" -> posix_math_181_scalblnl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Long, Returns (CI.Primitive CI.Float))),
  "scalblnf" -> posix_math_180_scalblnf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Long, Returns (CI.Primitive CI.Double))),
  "scalbln" -> posix_math_179_scalbln
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "roundl" -> posix_math_178_roundl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "roundf" ->
  posix_math_177_roundf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "round" -> posix_math_176_round
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "rintl" -> posix_math_175_rintl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "rintf" ->
  posix_math_174_rintf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "rint" ->
  posix_math_173_rint
| Function
    (CI.Primitive CI.LDouble,
     Function
       (CI.Primitive CI.LDouble,
        Function (CI.Pointer _, Returns (CI.Primitive CI.LDouble)))),
  "remquol" ->
  (fun x44 x45 x46 ->
    let CI.CPointer x47 = x46 in posix_math_172_remquol x44 x45 x47)
| Function
    (CI.Primitive CI.Float,
     Function
       (CI.Primitive CI.Float,
        Function (CI.Pointer _, Returns (CI.Primitive CI.Float)))),
  "remquof" ->
  (fun x48 x49 x50 ->
    let CI.CPointer x51 = x50 in posix_math_171_remquof x48 x49 x51)
| Function
    (CI.Primitive CI.Double,
     Function
       (CI.Primitive CI.Double,
        Function (CI.Pointer _, Returns (CI.Primitive CI.Double)))),
  "remquo" ->
  (fun x52 x53 x54 ->
    let CI.CPointer x55 = x54 in posix_math_170_remquo x52 x53 x55)
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "remainderl" -> posix_math_169_remainderl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float))),
  "remainderf" -> posix_math_168_remainderf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "remainder" -> posix_math_167_remainder
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "powl" -> posix_math_166_powl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float))),
  "powf" -> posix_math_165_powf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "pow" -> posix_math_164_pow
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "nexttowardl" -> posix_math_163_nexttowardl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.Float))),
  "nexttowardf" -> posix_math_162_nexttowardf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.Double))),
  "nexttoward" -> posix_math_161_nexttoward
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "nextafterl" -> posix_math_160_nextafterl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float))),
  "nextafterf" -> posix_math_159_nextafterf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "nextafter" -> posix_math_158_nextafter
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "nearbyintl" -> posix_math_157_nearbyintl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)),
  "nearbyintf" -> posix_math_156_nearbyintf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "nearbyint" -> posix_math_155_nearbyint
| Function
    (CI.View {CI.ty = CI.Pointer _; write = x84; _},
     Returns (CI.Primitive CI.LDouble)),
  "nanl" ->
  (fun x83 ->
    let CI.CPointer x86 = x84 x83 in let x85 = x86 in posix_math_154_nanl x85)
| Function
    (CI.View {CI.ty = CI.Pointer _; write = x88; _},
     Returns (CI.Primitive CI.Float)),
  "nanf" ->
  (fun x87 ->
    let CI.CPointer x90 = x88 x87 in let x89 = x90 in posix_math_153_nanf x89)
| Function
    (CI.View {CI.ty = CI.Pointer _; write = x92; _},
     Returns (CI.Primitive CI.Double)),
  "nan" ->
  (fun x91 ->
    let CI.CPointer x94 = x92 x91 in let x93 = x94 in posix_math_152_nan x93)
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Pointer _, Returns (CI.Primitive CI.LDouble))),
  "modfl" ->
  (fun x95 x96 -> let CI.CPointer x97 = x96 in posix_math_151_modfl x95 x97)
| Function
    (CI.Primitive CI.Float,
     Function (CI.Pointer _, Returns (CI.Primitive CI.Float))),
  "modff" ->
  (fun x98 x99 ->
    let CI.CPointer x100 = x99 in posix_math_150_modff x98 x100)
| Function
    (CI.Primitive CI.Double,
     Function (CI.Pointer _, Returns (CI.Primitive CI.Double))),
  "modf" ->
  (fun x101 x102 ->
    let CI.CPointer x103 = x102 in posix_math_149_modf x101 x103)
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.Long)),
  "lroundl" -> posix_math_148_lroundl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Long)), "lroundf" ->
  posix_math_147_lroundf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Long)), "lround" ->
  posix_math_146_lround
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.Long)),
  "lrintl" -> posix_math_145_lrintl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Long)), "lrintf" ->
  posix_math_144_lrintf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Long)), "lrint" ->
  posix_math_143_lrint
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "logl" -> posix_math_142_logl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "logf" ->
  posix_math_141_logf
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "logbl" -> posix_math_140_logbl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "logbf" ->
  posix_math_139_logbf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "logb" ->
  posix_math_138_logb
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "log2l" -> posix_math_137_log2l
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "log2f" ->
  posix_math_136_log2f
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "log2" ->
  posix_math_135_log2
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "log1pl" -> posix_math_134_log1pl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "log1pf" ->
  posix_math_133_log1pf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "log1p" -> posix_math_132_log1p
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "log10l" -> posix_math_131_log10l
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "log10f" ->
  posix_math_130_log10f
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "log10" -> posix_math_129_log10
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "log" ->
  posix_math_128_log
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.Llong)),
  "llroundl" -> posix_math_127_llroundl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Llong)),
  "llroundf" -> posix_math_126_llroundf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Llong)),
  "llround" -> posix_math_125_llround
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.Llong)),
  "llrintl" -> posix_math_124_llrintl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Llong)),
  "llrintf" -> posix_math_123_llrintf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Llong)),
  "llrint" -> posix_math_122_llrint
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "lgammal" -> posix_math_121_lgammal
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)),
  "lgammaf" -> posix_math_120_lgammaf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "lgamma" -> posix_math_119_lgamma
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.LDouble))),
  "ldexpl" -> posix_math_118_ldexpl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Float))),
  "ldexpf" -> posix_math_117_ldexpf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Int, Returns (CI.Primitive CI.Double))),
  "ldexp" -> posix_math_116_ldexp
| Function
    (CI.Primitive CI.Int,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "jn" -> posix_math_115_jn
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "j1" ->
  posix_math_114_j1
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "j0" ->
  posix_math_113_j0
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.Int)), "ilogbl" ->
  posix_math_112_ilogbl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Int)), "ilogbf" ->
  posix_math_111_ilogbf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Int)), "ilogb" ->
  posix_math_110_ilogb
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "hypotl" -> posix_math_109_hypotl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float))),
  "hypotf" -> posix_math_108_hypotf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "hypot" -> posix_math_107_hypot
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Pointer _, Returns (CI.Primitive CI.LDouble))),
  "frexpl" ->
  (fun x153 x154 ->
    let CI.CPointer x155 = x154 in posix_math_106_frexpl x153 x155)
| Function
    (CI.Primitive CI.Float,
     Function (CI.Pointer _, Returns (CI.Primitive CI.Float))),
  "frexpf" ->
  (fun x156 x157 ->
    let CI.CPointer x158 = x157 in posix_math_105_frexpf x156 x158)
| Function
    (CI.Primitive CI.Double,
     Function (CI.Pointer _, Returns (CI.Primitive CI.Double))),
  "frexp" ->
  (fun x159 x160 ->
    let CI.CPointer x161 = x160 in posix_math_104_frexp x159 x161)
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "fmodl" -> posix_math_103_fmodl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float))),
  "fmodf" -> posix_math_102_fmodf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "fmod" -> posix_math_101_fmod
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "fminl" -> posix_math_100_fminl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float))),
  "fminf" -> posix_math_99_fminf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "fmin" -> posix_math_98_fmin
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "fmaxl" -> posix_math_97_fmaxl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float))),
  "fmaxf" -> posix_math_96_fmaxf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "fmax" -> posix_math_95_fmax
| Function
    (CI.Primitive CI.LDouble,
     Function
       (CI.Primitive CI.LDouble,
        Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)))),
  "fmal" -> posix_math_94_fmal
| Function
    (CI.Primitive CI.Float,
     Function
       (CI.Primitive CI.Float,
        Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)))),
  "fmaf" -> posix_math_93_fmaf
| Function
    (CI.Primitive CI.Double,
     Function
       (CI.Primitive CI.Double,
        Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)))),
  "fma" -> posix_math_92_fma
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "floorl" -> posix_math_91_floorl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "floorf" ->
  posix_math_90_floorf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "floor" -> posix_math_89_floor
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "fdiml" -> posix_math_88_fdiml
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float))),
  "fdimf" -> posix_math_87_fdimf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "fdim" -> posix_math_86_fdim
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "fabsl" -> posix_math_85_fabsl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "fabsf" ->
  posix_math_84_fabsf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "fabs" ->
  posix_math_83_fabs
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "expm1l" -> posix_math_82_expm1l
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "expm1f" ->
  posix_math_81_expm1f
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "expm1" -> posix_math_80_expm1
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "expl" -> posix_math_79_expl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "expf" ->
  posix_math_78_expf
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "exp2l" -> posix_math_77_exp2l
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "exp2f" ->
  posix_math_76_exp2f
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "exp2" ->
  posix_math_75_exp2
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "exp" ->
  posix_math_74_exp
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "erfl" -> posix_math_73_erfl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "erff" ->
  posix_math_72_erff
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "erfcl" -> posix_math_71_erfcl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "erfcf" ->
  posix_math_70_erfcf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "erfc" ->
  posix_math_69_erfc
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "erf" ->
  posix_math_68_erf
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "cosl" -> posix_math_67_cosl
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "coshl" -> posix_math_66_coshl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "coshf" ->
  posix_math_65_coshf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "cosh" ->
  posix_math_64_cosh
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "cosf" ->
  posix_math_63_cosf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "cos" ->
  posix_math_62_cos
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "copysignl" -> posix_math_61_copysignl
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float))),
  "copysignf" -> posix_math_60_copysignf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "copysign" -> posix_math_59_copysign
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "ceill" -> posix_math_58_ceill
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "ceilf" ->
  posix_math_57_ceilf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "ceil" ->
  posix_math_56_ceil
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "cbrtl" -> posix_math_55_cbrtl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "cbrtf" ->
  posix_math_54_cbrtf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "cbrt" ->
  posix_math_53_cbrt
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "atanl" -> posix_math_52_atanl
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "atanhl" -> posix_math_51_atanhl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "atanhf" ->
  posix_math_50_atanhf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "atanh" -> posix_math_49_atanh
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "atanf" ->
  posix_math_48_atanf
| Function
    (CI.Primitive CI.LDouble,
     Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble))),
  "atan2l" -> posix_math_47_atan2l
| Function
    (CI.Primitive CI.Float,
     Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float))),
  "atan2f" -> posix_math_46_atan2f
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double))),
  "atan2" -> posix_math_45_atan2
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "atan" ->
  posix_math_44_atan
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "asinl" -> posix_math_43_asinl
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "asinhl" -> posix_math_42_asinhl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "asinhf" ->
  posix_math_41_asinhf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "asinh" -> posix_math_40_asinh
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "asinf" ->
  posix_math_39_asinf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "asin" ->
  posix_math_38_asin
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "acosl" -> posix_math_37_acosl
| Function (CI.Primitive CI.LDouble, Returns (CI.Primitive CI.LDouble)),
  "acoshl" -> posix_math_36_acoshl
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "acoshf" ->
  posix_math_35_acoshf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)),
  "acosh" -> posix_math_34_acosh
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Float)), "acosf" ->
  posix_math_33_acosf
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Double)), "acos" ->
  posix_math_32_acos
| Function (CI.Void, Returns (CI.Primitive CI.Float)), "ocaml_posix_math_nan" ->
  posix_math_31_ocaml_posix_math_nan
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_infinity" -> posix_math_30_ocaml_posix_math_infinity
| Function (CI.Void, Returns (CI.Primitive CI.LDouble)),
  "ocaml_posix_math_huge_vall" -> posix_math_29_ocaml_posix_math_huge_vall
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_huge_valf" -> posix_math_28_ocaml_posix_math_huge_valf
| Function (CI.Void, Returns (CI.Primitive CI.Double)),
  "ocaml_posix_math_huge_val" -> posix_math_27_ocaml_posix_math_huge_val
| Function (CI.Void, Returns (CI.Pointer x264)), "ocaml_posix_math_signgam" ->
  (fun x263 ->
    CI.make_ptr x264 (posix_math_26_ocaml_posix_math_signgam x263))
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_sqrt1_2" -> posix_math_25_ocaml_posix_math_m_sqrt1_2
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_sqrt2" -> posix_math_24_ocaml_posix_math_m_sqrt2
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_2_sqrtpi" -> posix_math_23_ocaml_posix_math_m_2_sqrtpi
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_2_pi" -> posix_math_22_ocaml_posix_math_m_2_pi
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_1_pi" -> posix_math_21_ocaml_posix_math_m_1_pi
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_pi_4" -> posix_math_20_ocaml_posix_math_m_pi_4
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_pi_2" -> posix_math_19_ocaml_posix_math_m_pi_2
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_pi" -> posix_math_18_ocaml_posix_math_m_pi
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_ln10" -> posix_math_17_ocaml_posix_math_m_ln10
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_ln2" -> posix_math_16_ocaml_posix_math_m_ln2
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_log10e" -> posix_math_15_ocaml_posix_math_m_log10e
| Function (CI.Void, Returns (CI.Primitive CI.Float)),
  "ocaml_posix_math_m_log2e" -> posix_math_14_ocaml_posix_math_m_log2e
| Function (CI.Void, Returns (CI.Primitive CI.Float)), "ocaml_posix_math_m_e" ->
  posix_math_13_ocaml_posix_math_m_e
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool)),
  "signbit" -> posix_math_12_signbit
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool))),
  "isunordered" -> posix_math_11_isunordered
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool)),
  "isnormal" -> posix_math_10_isnormal
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool)), "isnan" ->
  posix_math_9_isnan
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool))),
  "islessgreater" -> posix_math_8_islessgreater
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool))),
  "islessequal" -> posix_math_7_islessequal
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool))),
  "isless" -> posix_math_6_isless
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool)), "isinf" ->
  posix_math_5_isinf
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool))),
  "isgreaterequal" -> posix_math_4_isgreaterequal
| Function
    (CI.Primitive CI.Double,
     Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool))),
  "isgreater" -> posix_math_3_isgreater
| Function (CI.Primitive CI.Double, Returns (CI.Primitive CI.Bool)),
  "isfinite" -> posix_math_2_isfinite
| Function (CI.Primitive CI.Float, Returns (CI.Primitive CI.Int)),
  "fpclassify" -> posix_math_1_fpclassify
| _, s ->  Printf.ksprintf failwith "No match for %s" s


let foreign_value : type a. string -> a Ctypes.typ -> a Ctypes.ptr =
  fun name t -> match t, name with
| _, s ->  Printf.ksprintf failwith "No match for %s" s