Module-level functions support visibility (export, public, private), generics, async/await,
and design-by-contract clauses (requires, ensures, invariant).
Generate API docs from source:
spanda doc my_module.sd
spanda doc --html my_module.sd --out api.html