pub fn local_bind(
        &mut self,
        name: impl Into<Option<String>>,
        ty: domain::RcType,
    ) -> domain::RcValue {
        let param = domain::RcValue::var(self.level());
        self.local_define(name, param.clone(), ty);
        param
    }
/// 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 local_bind(
        &mut self,
        name: impl Into<Option<String>>,
        ty: domain::RcType,
    ) -> domain::RcValue {
        let param = domain::RcValue::var(self.level());
        self.local_define(name, param.clone(), ty);
        param
    }
pub fn local_bind ( & mut self , name : impl Into < Option < String > > , ty : domain :: RcType , ) -> domain :: RcValue { let param = domain :: RcValue :: var ( self . level ( ) ) ; self . local_define ( name , param . clone ( ) , ty ) ; param }
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
name
impl Into<Option<String>>
ty
domain::RcType