soma props

List all registered properties and their rules.

soma props 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 props --help
List all registered properties and their rules

Usage: soma-v3.2.4 props [OPTIONS]

Options:
      --stdlib <STDLIB>  Path to stdlib directory (default: auto-detect)
  -h, --help             Print help