Module Loop

module Loop: sig .. end

module A: B

module B: A