TODO list

  • Implement OrderedSet type
  • Implement iterate method
  • Implement Tuple type
  • Implement Product method
  • Implement couple for forAll and exists method
  • Check all operators
  • Add test to lists


  • The scope of all iterate operations is limited to the variable of the previous iteration

and no other variable coming from the context are used.

  • Operations cannot be applied to built-in lists.