Module Typing.Unsafe

module Unsafe: sig .. end

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