gillian » Gillian » Concrete

Module Gillian.Concrete

module Values : sig ... end

Concrete values

module Subst : sig ... end

Substitutions

module Store : sig ... end

Concrete variable store

module State : sig ... end

Concrete state

module type Memory_S = Memory_S

Interface for a concrete memory model