Module Lib.JSIL_ALocSplit

include module type of struct include JSIL_Base end
module ParserAndCompiler = JSIL_Base.ParserAndCompiler
module ExternalSemantics = JSIL_Base.ExternalSemantics
module InitData = JSIL_Base.InitData
module MyInitData = JSIL_Base.MyInitData
module MonadicSMemory = JSIL.MonadicSMemory_ALocSplit