package core-and-more

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `CoreAndMore.FixHCMemoizerOf`Source

module F : sig ... end

Sourcemodule ResultDict : sig ... end

Sourceval result_storage : ResultDict.t ref

Sourceval clear : unit -> unit

Sourceval evaluate : F.Arg.t -> ResultDict.value