devkit

Development kit - general purpose library
IN THIS PACKAGE
Parameter #1 Devkit_core . Cache . Reuse . T
type t
val create : unit -> t
val reset : t -> unit