Module Lib.WISL_Split

include module type of struct include WISL_Base end
module ParserAndCompiler = WISL_Base.ParserAndCompiler
module ExternalSemantics = WISL_Base.ExternalSemantics
module InitData = WISL_Base.InitData
module MyInitData = WISL_Base.MyInitData
module MonadicSMemory = WISL.MonadicSMemory_Split