Module Incremental__Scope
A module internal to Incremental. Users should see Incremental_intf
.
A scope is a bind in which nodes are created. It is either top
, for nodes not in a bind, or Uopt.some packed_bind
for nodes created on the right-hand side of a bind.
include module type of sig ... end
type t
= Incremental__Types.Scope.t
=
|
Top
|
Bind : ('a, 'b) Incremental__Types.Bind.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t