Standard ML: extension .sig