Up

Module Scope

Signature

type t = Types.Scope.t =
| Top
| Bind : ('a, 'b) Types.Bind.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val top : t
val is_top : t -> bool
val height : t -> int
val is_valid : t -> bool
val is_necessary : t -> bool
val add_node : t -> 'a Types.Node.t -> unit