Module Interf_exportedCount

module Interf_exportedCount: sig .. end
Check: presence of complex structures.

include Check.Signature