pub fn make_temporary(&mut self, id: MuID, ty: P<MuType>) -> P<TreeNode> {
        let val = P(Value {
            hdr: MuEntityHeader::unnamed(id),
            ty: ty,
            v: Value_::SSAVar(id)
        });

        self.values.insert(id, SSAVarEntry::new(val.clone()));

        P(TreeNode {
            v: TreeNode_::Value(val)
        })
    }
/// makes a TreeNode of an SSA variable
makes a TreeNode of an SSA variable
makes a TreeNode of an SSA variable
pub fn make_temporary(&mut self, id: MuID, ty: P<MuType>) -> P<TreeNode> {
        let val = P(Value {
            hdr: MuEntityHeader::unnamed(id),
            ty: ty,
            v: Value_::SSAVar(id)
        });
        self.values.insert(id, SSAVarEntry::new(val.clone()));
        P(TreeNode {
            v: TreeNode_::Value(val)
        })
    }
pub fn make_temporary ( & mut self , id : MuID , ty : P < MuType > ) -> P < TreeNode > { let val = P ( Value { hdr : MuEntityHeader :: unnamed ( id ) , ty : ty , v : Value_ :: SSAVar ( id ) } ) ; self . values . insert ( id , SSAVarEntry :: new ( val . clone ( ) ) ) ; P ( TreeNode { v : TreeNode_ :: Value ( val ) } ) }
makes a TreeNode of an SSA variable
makes a TreeNode of an SSA variable
&mut self
id
MuID
ty
P<MuType>
&mut self
id
MuID
ty
P<MuType>