antlr-read-value is a compiled Lisp function in `
(antlr-read-value INITIAL-CONTENTS PROMPT &optional AS-STRING TABLE TABLE-X)
Read a string from the minibuffer, possibly with completion.
If INITIAL-CONTENTS is non-nil, insert it in the minibuffer initially.
PROMPT is a string to prompt with, normally it ends in a colon and a
space. If AS-STRING is t or is a member (comparison done with `eq') of
`antlr-options-style', return printed representation of the user input,
otherwise return the user input directly.
If TABLE or TABLE-X is non-nil, read with completion. The completion
table is the resulting alist of TABLE-X concatenated with TABLE where
TABLE can also be a function evaluation to an alist.
Used inside `antlr-options-alists'.