yichus build
Type-check Bosatsu files with Yichus packages
This help is generated from the same argument parser as the CLI. For a
subcommand, append its name and --help to see its options.
Usage: yichus build [--json] <files>...
Type-check Bosatsu files with Yichus packages
Options and flags:
--help
Display this help text.
--json
Emit structured JSON output