package current

  1. Overview
  2. Docs

The most general API. Make and Output just specialise this for particular uses.

Parameters

module Op : S.GENERIC

Signature

run t k v is a term for the result of processing (k, v).

val reset : db:bool -> unit

reset ~db clears the cache. Useful for unit-tests.

  • parameter db

    Also clear from the on-disk database table.