C (transformers.Prebuilt.C)

module Delayed = Gillian.Monadic.Delayed

module DR = Gillian.Monadic.Delayed_result

module Global_env = Cgil_lib.Global_env

module BlockTree = C_states.BlockTree.M

module CGEnv = C_states.CGEnv.M

module BaseBlock : sig ... end

module type C_PMapType = Utils.OpenPMapType with type entry = BaseBlock.t

module BaseMemory : C_PMapType

module SplitMemory : C_PMapType

module ALocMemory : C_PMapType

module ExtendMemory (S : C_PMapType) : sig ... end

module Wrap (S : C_PMapType) : sig ... end

module MonadicSMemory_Base : sig ... end

module MonadicSMemory_ALoc : sig ... end

module MonadicSMemory_Split : sig ... end

module ParserAndCompiler = Gillian.Command_line.ParserAndCompiler.Dummy

module ExternalSemantics
  (Val : Gillian.General.Val.S)
  (ESubst : sig ... end)
  (Store : sig ... end)
  (State : sig ... end)
  (Callstack : sig ... end) : 
  sig ... end

module InitData = Cgil_lib.Global_env

module MyInitData : sig ... end