General.Store
Interface for GIL Stores
GIL stores are (mutable) mappings from GIL variables to GIL values.
module type S = Gillian.General.Store.S
module Make = Engine.Store.Make