Module Darwin (.ml)

module Darwin: sig .. end

derivation is automatically started based on command line arguments.