sig
  type 'a t constraint 'a = 'a Pxp_document.node #Pxp_document.extension
  type 'a param = {
    param_tree : 'a Pxp_document.node;
    param_text : string Lazy.t;
  } constraint 'a = 'a Pxp_document.node #Pxp_document.extension
  type expr =
      Expr_var of string
    | Expr_strconst of string
    | Expr_apply of (string * Wd_templrep.expr list)
    | Expr_param of (string * string list)
  val prepare_tree_with_parameters :
    mk_uiencode:(unit ->
                 ('a Pxp_document.node #Pxp_document.extension as 'a)
                 Pxp_document.node) ->
    string ->
    Wd_types.application_type ->
    'a Pxp_document.node list -> 'a Wd_templrep.t
  val get_parameters :
    ('a Pxp_document.node #Pxp_document.extension as 'a) Wd_templrep.t ->
    unit Wd_types.dict
  val instantiate :
    ?eval_expr:(Wd_templrep.expr -> string) ->
    ('a Pxp_document.node #Pxp_document.extension as 'a) Wd_templrep.t ->
    'a Wd_templrep.param Wd_types.dict list -> 'a Pxp_document.node -> unit
end