Module `Scope`

Managing of scopes to avoid clashes

author: Christoph Sticksel

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 Set.elt = t: Set of scopes

module Map : Stdlib.Map.S with type Map.key = t: Map of scopes

val mk_scope : Ident.t list -> t: Construct a scope from a list of identifiers

val pp_print_scope : Stdlib.Format.formatter -> t -> unit: Pretty-print a scope

val to_string : t -> string