pub fn add_param(&mut self, ty: Rc<Type>) -> Rc<Value> {
        log::trace!("add parameter");
        let value = Rc::from(Value::var(self.values.size().next_level()));
        self.values.add_entry(value.clone());
        self.tys.add_entry(ty);
        value
    }
/// Add a bound variable the context, returning a variable that points to
/// the correct binder.
Add a bound variable the context, returning a variable that points to
the correct binder.
Add a bound variable the context returning a variable that points to the correct binder .
pub fn add_param(&mut self, ty: Rc<Type>) -> Rc<Value> {
        log::trace!("add parameter");
        let value = Rc::from(Value::var(self.values.size().next_level()));
        self.values.add_entry(value.clone());
        self.tys.add_entry(ty);
        value
    }
pub fn add_param ( & mut self , ty : Rc < Type > ) -> Rc < Value > { log :: trace ! ( " " ) ; let value = Rc :: from ( Value :: var ( self . values . size ( ) . next_level ( ) ) ) ; self . values . add_entry ( value . clone ( ) ) ; self . tys . add_entry ( ty ) ; value }
Add a bound variable the context, returning a variable that points to
the correct binder.
Add a bound variable the context returning a variable that points to the correct binder .
&mut self
ty
Rc<Type>
&mut self
ty
Rc<Type>