Did you know ... Search Documentation:
Search results for "get_single_char/1"
1 matches from Reference Manual(0.39 sec.)
Reference Manual
 
4.19 Primitive character I/O
get_single_char/1Get a single character from input stream‘user’(regardless of the current input stream).