-
POGODALLA Sylvain authored
First step towards integrating an "extend" keyword to allow for definition extensions of signatures and lexicons
766af35d
First step towards integrating an "extend" keyword to allow for definition extensions of signatures and lexicons