Module Compiler_data.ScopeContextSource

Sourcetype ctx = {
  1. vmap : (Scope.language * F.t * F.t) list;
  2. uvmap : (F.t * F.t) list ref;
}
Sourceval empty : unit -> ctx
Sourceval eq_var : ctx -> Scope.language -> F.t -> F.t -> bool
Sourceval purge : 'a -> (('b * 'c) -> F.t) -> F.t -> ('a * 'b * 'c) list -> ('a * 'b * 'c) list
Sourceval push_ctx : Scope.language -> F.t -> F.t -> ctx -> ctx
Sourceval eq_uvar : ctx -> F.t -> F.t -> bool