Module Types.Scope

type t =
| Top
| Bind : (__) Bind.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t