
struct trans(f, t, l)

   Specification of s transition in the DFA for extensional/4.

Fields
   f                   From state
   t                   To state
   l                   label

Type
   library(gfd)

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.


