vElimDesc :: String -> String -> String -> String -> String -> String -> Value
vElimDesc _I _P pend prec parg _D = rElimDesc
  (var _I)
  (fbind _P "D")
  (fbind pend "i")
  (fbind3 prec "i" "D" "pd")
  (fbind3 parg "A" "B" "pb")
  (s2n _D)
vElimDesc :: String -> String -> String -> String -> String -> String -> Value
vElimDesc _I _P pend prec parg _D = rElimDesc
  (var _I)
  (fbind _P "D")
  (fbind pend "i")
  (fbind3 prec "i" "D" "pd")
  (fbind3 parg "A" "B" "pb")
  (s2n _D)
vElimDesc _I _P pend prec parg _D = rElimDesc
  (var _I)
  (fbind _P "D")
  (fbind pend "i")
  (fbind3 prec "i" "D" "pd")
  (fbind3 parg "A" "B" "pb")
  (s2n _D)