Scope
Managing of scopes to avoid clashes
type t = Ident.t list
Scope as a sequence of identifiers
This type will become private later
val equal : t -> t -> bool
Equality of scopes
val compare : t -> t -> int
Total order of scopes
val hash : t -> int
Hash of a scope
module Set : Stdlib.Set.S with type elt = t
Set of scopes
module Map : Stdlib.Map.S with type key = t
Map of scopes
module Hashtbl : Stdlib.Hashtbl.S with type key = t
Hash table of scopes
val mk_scope : Ident.t list -> t
Construct a scope from a list of identifiers
val pp_print_scope_internal : Stdlib.Format.formatter -> t -> unit
Pretty-print a scope. Only for internal (non-user-facing) use