1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
(.module: [lux #*]) (type: #export Days Nat) (type: #export Months Nat) (type: #export Year Nat) (type: #export (Period a) {#start a #end a})