fn mk_local(&self, name: &str, ty: Type) -> Exp {
        let node_id = self.new_node(ty, None);
        let sym = self.mk_symbol(name);
        ExpData::LocalVar(node_id, sym).into_exp()
    }
/// Makes an expression for a named local.
Makes an expression for a named local.
Makes an expression for a named local .
fn mk_local(&self, name: &str, ty: Type) -> Exp {
        let node_id = self.new_node(ty, None);
        let sym = self.mk_symbol(name);
        ExpData::LocalVar(node_id, sym).into_exp()
    }
fn mk_local ( & self , name : & str , ty : Type ) -> Exp { let node_id = self . new_node ( ty , None ) ; let sym = self . mk_symbol ( name ) ; ExpData :: LocalVar ( node_id , sym ) . into_exp ( ) }
Makes an expression for a named local.
Makes an expression for a named local .
&self
name
&str
ty
Type