Type Alias SharedTypecheckingContext 

pub type SharedTypecheckingContext = Arc<Mutex<BTreeMap<Id, Vec<ReprColumnType>>>>;

Typechecking contexts as shared by various typechecking passes.

We use a RefCell to ensure that contexts are shared by multiple typechecker passes. Shared contexts help catch consistency issues.

Aliased Type

pub struct SharedTypecheckingContext { /* private fields */ }