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.