Module Property_navigator

module Property_navigator: sig .. end
Extension of the GUI in order to navigate in ACSL properties. No function is exported.