Module Scope

Managing of scopes to avoid clashes

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