pub fn new() -> Context {
        Context {
            level: VarLevel(0),
            values: Env::new(),
            tys: Env::new(),
        }
    }
/// Create a new, empty context.
Create a new, empty context.
Create a new empty context .
pub fn new() -> Context {
        Context {
            level: VarLevel(0),
            values: Env::new(),
            tys: Env::new(),
        }
    }
pub fn new ( ) -> Context { Context { level : VarLevel ( 0 ) , values : Env :: new ( ) , tys : Env :: new ( ) , } }
Create a new, empty context.
Create a new empty context .