Mentions légales du service

Task: store an AC-stable hash within tdecl_set for hashconsing

Andrei Paskevichrequested to merge
improve_tdecl_set into master

Thanks to Johannes Kanig for the report and an initial patch.

Merge request reports