Module Main (.ml)

module Main: sig .. end

Entry point of Cubicle