15 lines
268 B
Plaintext
15 lines
268 B
Plaintext
SIGNATURE Person
|
|
|
|
IMPORT Nat ONLY nat
|
|
|
|
TYPE date == date(day : nat,
|
|
month : nat,
|
|
year : nat)
|
|
|
|
TYPE person == person(name : denotation,
|
|
surname : denotation,
|
|
birthdate : date)
|
|
|
|
|
|
|