Frama-C API - `Cmath`

Math Operators

val int_of_bool : Lang.F.unop

val bool_of_int : Lang.F.unop

val int_of_real : Lang.F.term -> Lang.F.term

val real_of_int : Lang.F.term -> Lang.F.term

val f_real_of_int : Lang.lfun

val f_iabs : Lang.lfun

val f_rabs : Lang.lfun

val f_sqrt : Lang.lfun