Envy’s syntax does not look like traditional S-expressions, but in fact it is just using ordinary Racket syntax with a special reader, called “sweet expressions”. The ordinary, S-expression based syntax is exposed through the envy/s-exp language, as well as the envy module, which can be used in any Typed Racket module via require.
|#lang envy/s-exp||package: envy|
#lang envy/s-exp [some-var : Positive-Integer #:default #f] [another-var : Boolean #:name "CUSTOM NAME"]
2.2 The envy module
Using envy as a module imports the Envy API, which allows embedding Envy’s functionality in larger modules.
(require envy) (define/provide-environment [some-var : Positive-Integer #:default #f] [another-var : Boolean #:name "CUSTOM NAME"])
For full information on all the forms provided by Envy, see the API Reference.