Previous
Up
Next
Module
Interf_exportedCount
module
Interf_exportedCount:
sig
..
end
Check: presence of complex structures.
include
Check.Signature