licentia/source/program/licentia/license/time.lux


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

(.module:
  [library
   [lux "*"]])

(type: .public Days
  Nat)

(type: .public Months
  Nat)

(type: .public Year
  Nat)

(type: .public (Period a)
  (Record
   [#start a
    #end a]))