Module Property_navigator


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