module Quotation:Quotation operations.sig
..end
type
expander =
| |
ExStr of |
|||
| |
ExAst of |
(* | 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 Pervasives.ref
default
holds the default quotation name.val translate : (string -> string) Pervasives.ref