@lexi.lambda thanks! Nothing special, works just like in case of lexical binding! Somehow I missed this obvious way to make definitions in b.rkt and went for moving them to the third file. Nice, you made me a hint!

is there a fast way to rebuild the search index for the racket documentation? raco pkg update <my-pkg> doesn’t seem to work, but raco pkg remove <my-pkg>; raco pkg install <my-pkg> does

(the use case: I changed @defmodule to @defmodulelang)

@ben Try raco setup --doc-index <my-collection> or raco setup scribblings/main

thanks — they both work for me

@ben: Got the stickers. Thanks!