Module `Engine`

module Abductor : sig ... end

module BiState : sig ... end

module CExprEval : sig ... end

module CMemory : sig ... end

module CState : sig ... end

module CStore = Gillian.Concrete.Store

module CVal : sig ... end

module Call_stack = Gillian.General.Call_stack

module Concrete = Gillian.Concrete

module ESubst = Gillian.General.ESubst

module Exec_err = Gillian.General.Exec_err

module Exec_res : sig ... end

module External = Gillian.General.External

module FOSolver : sig ... end

module G_interpreter = Gillian.General.G_interpreter

module G_interpreter_intf : sig ... end

module Gbranch : sig ... end

module General : sig ... end

module Gpc : sig ... end

module Init_data : sig ... end

module Legacy_s_memory : sig ... end

module LogicPreprocessing : sig ... end

module MP : sig ... end

module Matcher : sig ... end

module Normaliser : sig ... end

module PFS = Gillian.Symbolic.Pure_context

module PState : sig ... end

module Preds : sig ... end

module Recovery_tactic : sig ... end

module Reduction : sig ... end

module Res_list : sig ... end

module SMemory : sig ... end

module SState : sig ... end

module SStore : sig ... end

module SVal : sig ... end

module Simplifications : sig ... end

module State = Gillian.General.State

module StateErr : sig ... end

module Store = Gillian.General.Store

module Subst = Gillian.General.Subst

module Symbolic = Gillian.Symbolic

module Symex : sig ... end

module Type_env = Gillian.Symbolic.Type_env

module Typing : sig ... end

module Val = Gillian.General.Val

module Verifier : sig ... end

module Wands : sig ... end