Module Frama_c_gui.Property_navigator

Extension of the GUI in order to navigate in ACSL properties.

module Rte : sig ... end