1 HEAD~ Parameters types;;
3 We use names for parameters which describe their type. These names are
4 orthogonal through all macro definitions.
7 `---------`------------------------------------------------------------------
8 `when` Assertion is only performed if expression `when` is true at runtime
9 `expr` Test without side effects
10 `flag` Flag to enable custom logging groups
11 `type` Data type to be checked as a single identifier name
12 `pointer` Pointer to type
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 ---------------------------------------------------------------------------