Module("util/config/keep",[Imports([Import("util/config/common")]),Strategies([SDefNoArgs("set-keep",BA(CallNoArgs(SVar("set-config")),NoAnnoList(Tuple([NoAnnoList(Str("\"--keep\"")),RootApp(Id)])))),SDefNoArgs("get-keep",LChoice(BA(CallNoArgs(SVar("get-config")),NoAnnoList(Str("\"--keep\""))),Build(NoAnnoList(Int("0"))))),SDefNoArgs("pass-keep",Build(NoAnnoList(List([NoAnnoList(Str("\"--keep\"")),App(Seq(CallNoArgs(SVar("subt")),CallNoArgs(SVar("int-to-string"))),NoAnnoList(Tuple([App(LChoice(CallNoArgs(SVar("get-config")),Build(NoAnnoList(Int("1")))),NoAnnoList(Str("\"--keep\""))),NoAnnoList(Int("1"))])))]))))]),Strategies([SDefT("if-keep",[DefaultVarDec("s")],[DefaultVarDec("t")],IfThen(BA(CallNoArgs(SVar("geq")),NoAnnoList(Tuple([App(CallNoArgs(SVar("get-keep")),NoAnnoList(Tuple([]))),Var("t")]))),CallNoArgs(SVar("s")))),SDef("if-keep1",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("1"))])),SDef("if-keep2",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("2"))])),SDef("if-keep3",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("3"))])),SDef("if-keep4",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("4"))])),SDef("if-keep5",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("5"))])),SDef("if-keep6",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("6"))])),SDef("if-keep7",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("7"))]))]),Strategies([SDefT("if-less-keep1",[DefaultVarDec("s")],[DefaultVarDec("t")],CallT(SVar("if-less-keep"),[CallNoArgs(SVar("s"))],[Var("t")])),SDefT("if-less-keep",[DefaultVarDec("s")],[DefaultVarDec("t")],IfThen(BA(CallNoArgs(SVar("leq")),NoAnnoList(Tuple([App(CallNoArgs(SVar("get-keep")),NoAnnoList(Tuple([]))),Var("t")]))),CallNoArgs(SVar("s")))),SDef("if-less-keep1",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("1"))])),SDef("if-less-keep2",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("2"))])),SDef("if-less-keep3",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("3"))])),SDef("if-less-keep4",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("4"))])),SDef("if-less-keep5",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("5"))])),SDef("if-less-keep6",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("6"))])),SDef("if-less-keep7",[DefaultVarDec("s")],CallT(SVar("if-keep"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("7"))]))])])
