Index - V
| value | Control.CP.FD.FDSugar |
| VarId | Control.CP.Herbrand.Herbrand |
| VarInfo | |
| 1 (Type/Class) | Control.CP.FD.FD |
| 2 (Data Constructor) | Control.CP.FD.FD |
| VarMap | Control.CP.FD.FD |
| varMap | Control.CP.FD.FD |
| VarSupply | Control.CP.FD.FD |
| varSupply | Control.CP.FD.FD |
| var_supply | Control.CP.Herbrand.Herbrand |