Previous
Up
Next
Module
Interf_exportedEmpty
module
Interf_exportedEmpty:
sig
..
end
Check: presence of empty structures.
include
Check.Signature