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