Previous
Up
Next
Module
Code_catchAll
module
Code_catchAll:
sig
..
end
Check: catch of all exceptions.
include
Check.Structure