Up
–
gillian
»
Engine
» SMemory
Module
Engine.SMemory
module
type
S
=
sig
...
end
module
Dummy
:
S
with
type
init_data
= unit