Skip to content

Fix function with tuple type in codomain

Stéphane Del Pino requested to merge feature/language-tuples into develop
  • actually, it was not implemented (sic)
  • tuples are explicitly forbidden in the definition domain
  • add associated tests
  • update user documentation

Merge request reports