Module AltErgoLib__Hconsing