Quotationtype expander = | ExStr of bool -> string -> string| ExAst of (string -> MLast.expr) * (string -> MLast.patt)val add : string -> expander -> unitval upsert : string -> expander -> unitval find : string -> expanderval default : string refval translate : (string -> string) ref