Nemerle Documentation

IO.ReadIntDigits Method 

Read digital characters returning integer value of read string

public static string ReadIntDigits(
   TextReader input
);

See Also

IO Class | Nemerle Namespace