Mentions légales du service

Skip to content

Clone defined logical symbols

Benjamin Terra-Jorge requested to merge clone-defined-logical-symbols into master

Allow to substitute some already defined symbols, provided the definition are the same modulo the substitution. Works for logical function and predicates and for variant types (ADTs)

Fix #666 (closed)

Edited by Benjamin Terra-Jorge

Merge request reports