quotexpander : string -> string

SYNOPSIS
Quotation expander.

DESCRIPTION
This function determines how anything in `backquotes` is expanded on input.

FAILURE CONDITIONS
Never fails.

EXAMPLE
  # quotexpander "1 + 1";;
  val it : string = "parse_term \"1 + 1\""
  # quotexpander ":num";;
  val it : string = "parse_type \"num\""

COMMENTS
Not intended for general use, but automatically invoked when anything is typed in backquotes `like this`. May be of some interest for users wishing to change the behavior of the quotation parser.