Module Interf_exportedEmpty

module Interf_exportedEmpty: sig .. end
Check: presence of empty structures.

include Check.Signature