doc/parametertable.txt

   1 HEAD~ Parameters types;;
   2
   3 We use names for parameters which describe their type. These names are
   4 orthogonal through all macro definitions.
   5
   6 [grid="all"]
   7 `---------`------------------------------------------------------------------
   8 `when`    Assertion is only performed if expression `when` is true at runtime
   9 `expr`    Test without side effects
  10 `fmt`     printf-like format string
  11 `...`     If not preceded by `fmt`, then printf-like format string followed by its arguments; otherwise, only its arguments
  12 `flag`    Flag to enable custom logging groups
  13 `type`    Data type to be checked as a single identifier name
  14 `pointer` Pointer to type
  15 `lvl`     Log level
  16 `depth`   Depth for invariants and dumps
  17 ---------------------------------------------------------------------------
  18