fn new_node(&self, ty: Type, inst_opt: Option<Vec<Type>>) -> NodeId {
        let node_id = self.global_env().new_node(self.get_current_loc(), ty);
        if let Some(inst) = inst_opt {
            self.global_env().set_node_instantiation(node_id, inst);
        }
        node_id
    }
/// Creates a new expression node id, using current default location, provided type,
/// and optional instantiation.
Creates a new expression node id, using current default location, provided type,
and optional instantiation.
Creates a new expression node id using current default location provided type and optional instantiation .
fn new_node(&self, ty: Type, inst_opt: Option<Vec<Type>>) -> NodeId {
        let node_id = self.global_env().new_node(self.get_current_loc(), ty);
        if let Some(inst) = inst_opt {
            self.global_env().set_node_instantiation(node_id, inst);
        }
        node_id
    }
fn new_node ( & self , ty : Type , inst_opt : Option < Vec < Type > > ) -> NodeId { let node_id = self . global_env ( ) . new_node ( self . get_current_loc ( ) , ty ) ; if let Some ( inst ) = inst_opt { self . global_env ( ) . set_node_instantiation ( node_id , inst ) ; } node_id }
Creates a new expression node id, using current default location, provided type,
and optional instantiation.
Creates a new expression node id using current default location provided type and optional instantiation .
&self
ty
Type
inst_opt
Option<Vec<Type>>