Mentions légales du service

Skip to content

Generalize invariant witness

François Bobot requested to merge generalize_witness into master
  • allows arbitrary expression that ends with the record
  • the record doesn't really exists it is replaced by a tuple
  • the expression can use effect but it should not be partial

Fixes #286 (closed)

Merge request reports