Frama-C:
Plug-ins:
Libraries:

Frama-C API - Rounding

type t =
  1. | Up
  2. | Down
  3. | Near

We only use the rounding to nearest (represented by the constructor Near), the rounding toward +oo (represented by the constructor Up) and the rounding toward -oo (represented by the constructor Down)

val pretty : Stdlib.Format.formatter -> t -> unit
val eq : t -> t -> bool