Module AltErgoLib__Fun_sat