Module Property_navigator

module Property_navigator: sig .. end

Extension of the GUI in order to navigate in ACSL properties. No function is exported.