Specification of s transition in the DFA for extensional/4.
Fields
f
From state
t
To state
l
label
Description
This is used to specify a transition in the DFA for the extensional constraint
extensional/4. The transition trans{f:F,t:T,l:L} is a transition from state
F to state T, and labelling the variable with the value L.