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