Previous
Up
Next
Module
Code_length
module
Code_length:
sig
..
end
Check: elements that are too lengthy.
include
Check.Structure