8.16.0.4
17 Reader Extension
#lang denxi | package: denxi |
denxi, as a reader extension, defines a denxi/pkgdef module. The grammar matches that of a denxi/pkgdef module body, because the reader is defined as (module reader syntax/module-reader denxi/pkgdef)