Module A

module A: sig .. end