Language.Fixpoint.Solver.Validate

Validate and Transform Constraints to Ensure various Invariants ------------------------- 1. Each binder must be unique

Validate and Transform FInfo to enforce invariants

validate :: Config -> FInfo a -> Either Error (FInfo a)

Sorts for each Symbol

symbolSorts :: FInfo a -> Either Error [(Symbol, Sort)]

symbol |-> sort for EVERY variable in the FInfo