Frama-C API - Field_interval
module type Name = sig ... endmodule Make (K : Frama_c_kernel.Field.S) (Computation : IEEE754.Computation) : IEEE754.Abstraction with module Scalar = K and module Computation = Computation and type t = K.t Frama_c_kernel.Field.bounds