sig
  val dexpr : Pmodule.pmodule_uc -> Dexpr.denv -> Ptree.expr -> Dexpr.dexpr
  val drec_defn :
    Pmodule.pmodule_uc ->
    Dexpr.denv -> Ptree.fundef list -> Dexpr.denv * Dexpr.drec_defn
  val add_decl :
    Pmodule.pmodule_uc ->
    Env.env ->
    Pmodule.pmodule Wstdlib.Mstr.t -> Ptree.decl -> Pmodule.pmodule_uc
  val create_user_id : Ptree.ident -> Ident.preid
  val create_user_prog_id : Ptree.ident -> Ident.preid
end