JSIL_Base (transformers.Prebuilt.Lib.JSIL

module MonadicSMemory = JSIL.MonadicSMemory_Base

module ParserAndCompiler = Prebuilt.JSIL.ParserAndCompiler

module ExternalSemantics = Prebuilt.JSIL.ExternalSemantics

module InitData = Gillian.General.Init_data.Dummy

module MyInitData = States.MyMonadicSMemory.DummyID