soma.cell

soma holes

List the holes of a program's skeletons — signals with no body yet — in the order to fill them.

soma holes is a command of soma, the toolchain of the Soma programming language (compiler, checker, verifier, test runner and server in one binary). Its options, as soma 3.2.4 prints them:

$ soma holes --help
List the holes of a program's skeletons — signals with no body yet — in the order to fill them

Usage: soma-v3.2.4 holes [OPTIONS] <FILE> [ONLY]

Arguments:
  <FILE>  Path to the .cell source file
  [ONLY]  A cell (`Orders`) or one signal (`Orders.place`): only those

Options:
      --json             Output as JSON (for agents)
      --stdlib <STDLIB>  Path to stdlib directory (default: auto-detect)
  -h, --help             Print help