Previous
Up
Next
Module
Code_open
module
Code_open:
sig
..
end
Check: open statements.
include
Check.Structure