Module Cmath

module Cmath: sig .. end

Math Operators


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