Up
–
rocq-runtime
» Store
Module
Store
module
type
S
=
sig
...
end
module
Make
() :
S
Create a new store type.