#lang s-exp phc-toolkit/light-no-check
(require phc-toolkit/partial-include)
(require phc-toolkit/is-untyped)
(include-without-first-line up "aliases.rkt")