3.7. Constants

Fields and variables may be assigned a fixed value using "=", as in:

    struct {
        T1 f1 = 8;  /* T.f1 must always be 8 */
        T2 f2;
    } T;

Constants are modelled through integrated Tamarin macros and can be found in the macros.splib.