module Transitioning:sig
..end
Functions are grouped according to the module of the stdlib they
emulate. The mentioned OCaml version indicate when the function was
introduced in the stdlib (i.e. when Frama-C requires a version higher
than that, it can safely be removed from Transitioning).
module Stdlib:sig
..end
module Dynlink:sig
..end
module Float:sig
..end
module Format:sig
..end
module Q:sig
..end
Q.to_float
was introduced in Zarith 1.5