A next-state node for a register.
This is a product type, introduced by fty::defflexsum in support of node.
- fanin — lit
- Literal giving the logical function of the next state.
- reg — natp
- Index (register number, not ID) of the register for which this is the next state.
- Get the fanin field from a nxst-node.
- Get the reg field from a nxst-node.