definition module pdExtString; //1.3 from StdString import String; //3.1 import StdEnv; /* (WORD) :: !String !Int -> Int; (LONG) :: !String !Int -> Int; read_long :: *{#Char} Int -> (!Int,!*{#Char}); */ (IWORD) :: !String !Int -> !Int; (ILONG) :: !String !Int -> !Int;