package incremental

You can search for identifiers within the package.

in-package search v0.2.0

Library for incremental computations

Install

md5=c1c01831c72847296ce2569d2cc4372f

sha512=0116a82509c9037529092c5a31bdc8f0c64ed3d4c7a58a67f5250685196c9830e352100c83185bba8b2db949ffc9e3f39a0bbfe14c07e0da63e0302ca24aaa7a

type t = state_witness Incremental.Scope.t

val top : t

val current : unit -> t

val within : t -> f:(unit -> 'a) -> 'a