package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

md5=d1623b2919d2984bfcd841b5e772abd1

sha512=5924c8822d7e5a7bc49eb2b451cfd06cb372415559bc5ff232a59395b0aa28eb9819e351426ab25510f7d96ffb85ec652fa1878478b046c61e51ff471c285710

Sourceval route : root:string option -> Forester_core.addr -> string

Sourcemodule type I = sig ... end

Sourcemodule Make (_ : I) () : sig ... end

Each instance of this generative functor manages its own memo cache.