package mlcuddidl

  1. Overview
  2. Docs
type memo_discr =
  1. | Global
  2. | Cache
  3. | Hash
type t =
  1. | Global
  2. | Cache of Cache.t
  3. | Hash of Hash.t
val clear : t -> unit