unparse_as_prefix : string -> unit
- SYNOPSIS
-
Removes prefix status for an identifier.
- DESCRIPTION
-
Certain identifiers c have prefix status, meaning that combinations of the
form c f x will be parsed as c (f x) rather than the usual (c f) x. The
call unparse_as_prefix "c" removes c from the list of such identifiers.
- FAILURE CONDITIONS
-
Never fails, regardless of whether c originally did have prefix status.
- SEE ALSO
-
is_prefix, parse_as_prefix, prefixes.