Type Definition extemp::Mask

type Mask = u32;

An integer type that controls how many bits are in a variable binding mask, therefore how many variable a particular automaton instance can bind to.