Module Transitioning

module Transitioning: sig .. end

This file contains functions that uses features that are deprecated in current OCaml version, but whose replacing feature is not available in the oldest OCaml version officially supported by Frama-C. Be sure to update it when support for a given version is dropped.

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).


OCaml