Module Quotation

module Quotation: sig  end
Quotation operations.

type expander =
| ExStr of (bool -> string -> string)
| ExAst of ((string -> MLast.expr) * (string -> MLast.patt))

The type for quotation expanders kind:

val add : string -> expander -> unit
add name exp adds the quotation name associated with the expander exp.
val find : string -> expander
find name returns the expander of the given quotation name.
val default : string ref
default holds the default quotation name.
val translate : (string -> string) ref
function translating quotation names; default = identity