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.