definition module ExtInt; //1.3 from StdInt import +, *, bitand, -; from StdClass import dec, one; //3.1 import pdExtInt; roundup_to_multiple s m :== (s + (dec m)) bitand (~m); /* hexdigit :: !Int -> !Char; hex :: !Int -> !String; hex_byte :: !Char -> !String; hex_int :: !Int -> !String; //print_string :: !String !Int -> (!Int,[String]); hex_word :: !Int -> !String; */ // converts a string representation of a number of certian base to an (decimal) integer //from_base_i s base start_i length from_base_i :: !String !Int !Int !Int -> !Int; between start middle end :== start <= middle && middle <= end;