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 [cols="1,5",frame="topbot"]
   7 |==============================================================================
   8 |`when`    |Assertion is only performed if expression `when` is true at runtime
   9 |`expr`    |Test without side effects
  10 |`flag`    |Destination flag for control logging at runtime
  11 |`type`    |Data type to be checked as a single identifier name
  12 |`pointer` |Pointer to type
  13 |`lvl`     |Log level
  14 |`depth`   |Depth for invariants and dumps
  15 |`context` |Source context of type `struct nobug_context`
  16 |`...`     |printf-like format string followed by its arguments
  17 |==============================================================================
  18