fn mk_call_with_inst(
        &self,
        ty: &Type,
        inst: Vec<Type>,
        oper: Operation,
        args: Vec<Exp>,
    ) -> Exp {
        let node_id = self.new_node(ty.clone(), Some(inst));
        ExpData::Call(node_id, oper, args).into_exp()
    }
/// Makes a Call expression with type instantiation.
Makes a Call expression with type instantiation.
Makes a Call expression with type instantiation .
fn mk_call_with_inst(
        &self,
        ty: &Type,
        inst: Vec<Type>,
        oper: Operation,
        args: Vec<Exp>,
    ) -> Exp {
        let node_id = self.new_node(ty.clone(), Some(inst));
        ExpData::Call(node_id, oper, args).into_exp()
    }
fn mk_call_with_inst ( & self , ty : & Type , inst : Vec < Type > , oper : Operation , args : Vec < Exp > , ) -> Exp { let node_id = self . new_node ( ty . clone ( ) , Some ( inst ) ) ; ExpData :: Call ( node_id , oper , args ) . into_exp ( ) }
Makes a Call expression with type instantiation.
Makes a Call expression with type instantiation .
&self
ty
&Type
inst
Vec<Type>
oper
Operation
args
Vec<Exp>