ErlangNode (infer.ErlangFrontend.ErlangNode)

module Env = ErlangEnvironment

val make_stmt : 
  (IR.Procdesc.t Env.present, _) Env.t ->
  IR.Sil.instr list ->
  IR.Procdesc.Node.t

val make_load : 
  (IR.Procdesc.t Env.present, _) Env.t ->
  IR.Ident.t ->
  IR.Exp.t ->
  IR.Typ.t ->
  IR.Procdesc.Node.t

val make_nop : (IR.Procdesc.t Env.present, _) Env.t -> IR.Procdesc.Node.t

val make_join : 
  (IR.Procdesc.t Env.present, _) Env.t ->
  IR.Procdesc.Node.t list ->
  IR.Procdesc.Node.t

val make_if : 
  (IR.Procdesc.t Env.present, _) Env.t ->
  bool ->
  IR.Exp.t ->
  IR.Procdesc.Node.t

val make_fail : 
  (IR.Procdesc.t Env.present, _) Env.t ->
  IR.Procname.t ->
  IR.Procdesc.Node.t