SMTv2 printer: do not print declarations of algebraic datatypes when they are given in the syntax map
Attach a file by drag & drop or click to upload
MARCHE Claude authored