Module Code_open

module Code_open: sig .. end
Check: open statements.

include Check.Structure