ErlangFrontend.ErlangNodemodule Env = ErlangEnvironmentval make_stmt :
(IR.Procdesc.t Env.present, _) Env.t ->
?kind:IR.Procdesc.Node.stmt_nodekind ->
IR.Sil.instr list ->
IR.Procdesc.Node.tval make_load :
(IR.Procdesc.t Env.present, _) Env.t ->
IR.Ident.t ->
IR.Exp.t ->
IR.Typ.t ->
IR.Procdesc.Node.tval make_nop : (IR.Procdesc.t Env.present, _) Env.t -> IR.Procdesc.Node.tval make_join : (IR.Procdesc.t Env.present, _) Env.t -> IR.Procdesc.Node.tval make_if :
(IR.Procdesc.t Env.present, _) Env.t ->
bool ->
IR.Exp.t ->
IR.Procdesc.Node.tval make_fail :
(IR.Procdesc.t Env.present, _) Env.t ->
IR.Procname.t ->
IR.Procdesc.Node.t