;;

;; 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"$)$