sig
  type expander =
      ExStr of (bool -> string -> string)
    | ExAst of ((string -> MLast.expr) * (string -> MLast.patt))
  val add : string -> Quotation.expander -> unit
  val find : string -> Quotation.expander
  val default : string Pervasives.ref
  val translate : (string -> string) Pervasives.ref
end