/// Create a new, empty context.
Create a new, empty context.
Create a new empty context .
pub fn empty() -> Context {
        Context {
            prims: prim::Env::new(),
            values: var::Env::new(),
            tys: var::Env::new(),
            names: var::Env::new(),
            names_to_levels: im::HashMap::new(),
            bound_levels: im::Vector::new(),
        }
    }
pub fn empty ( ) -> Context { Context { prims : prim :: Env :: new ( ) , values : var :: Env :: new ( ) , tys : var :: Env :: new ( ) , names : var :: Env :: new ( ) , names_to_levels : im :: HashMap :: new ( ) , bound_levels : im :: Vector :: new ( ) , } }
Create a new, empty context.
Create a new empty context .