Module Cyclesim_float_ops.Double
64 bit doubles
val database : Combinational_ops_database.tval (+:) : Signal.t -> Signal.t -> Signal.tval (-:) : Signal.t -> Signal.t -> Signal.tval (*:) : Signal.t -> Signal.t -> Signal.tval (/:) : Signal.t -> Signal.t -> Signal.tval (%:) : Signal.t -> Signal.t -> Signal.tval (**:) : Signal.t -> Signal.t -> Signal.tval exp : Signal.t -> Signal.tval log : Signal.t -> Signal.tval log10 : Signal.t -> Signal.tval cos : Signal.t -> Signal.tval sin : Signal.t -> Signal.tval tan : Signal.t -> Signal.tval acos : Signal.t -> Signal.tval asin : Signal.t -> Signal.tval atan : Signal.t -> Signal.tval atan2 : Signal.t -> Signal.t -> Signal.tval cosh : Signal.t -> Signal.tval sinh : Signal.t -> Signal.tval tanh : Signal.t -> Signal.tval ceil : Signal.t -> Signal.tval floor : Signal.t -> Signal.tval abs : Signal.t -> Signal.t