/** A doc comment for a file that only contains a function */
{ ... }:
{ }