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