;;

;; Write the dd$-$template$-$rules tag and template for the following

;; type comment. Your rules and template must be in the same order

;; as the type comment.

;;

$($@htdd Altitude$)$

;; Altitude is one of:

;; $-$ "pre$-$launch"

;; $-$ Number

;; $-$ "post$-$flight"

;; interp. Altitude of rocket. Before launch, in meters above launch

;; pad, after flight has ended.

;; CONSTRAINT: when a number is $>0$

$($define A$0$ "pre$-$launch"$)$

$($define A$137\mathrm{.}5)$

$($define A$2$ "post$-$flight"$)$

$($@dd$-$template$-$rules one$-$of

atomic$-$non$-$distinct

atomic$-$distinct

atomic$-$distinct

atomic$-$non$-$distinct$)$

$($define $($fn$-$for$-$altitude a$)$

$($cond $[($string$=?$ a "pre$-$launch"$)...]$

$[($number$?$ a$)(...$ a$)]$

$[($string$=?$ a "post$-$flight"$)...]))$

$($@problem $5)$

;;

;; Design a function that consumes an Altitude and produces true

;; if the rocket is actually inflight. Call the function inflight?

;;