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