Forward
val neg : t -> forward
val log : t -> forward
val exp : t -> forward
val sqrt : t -> forward
val add : t -> t -> forward
val sub : t -> t -> forward
val mul : t -> t -> forward
val div : t -> t -> forward
Frama-C