package rocq-runtime

  1. Overview
  2. Docs

Module StoreSource

Sourcemodule type S = sig ... end
Sourcemodule Make () : S

Create a new store type.