Module AltErgoLib__Satml_types