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


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

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

(type: .public Days
  Nat)

(type: .public Months
  Nat)

(type: .public Year
  Nat)

(type: .public (Period a)
  {#start a
   #end a})