Previous
Up
Next
Module
Code_tupleSize
module
Code_tupleSize:
sig
..
end
Check: lengthy tuples.
include
Check.Structure