Module("util/config/verbose",[Imports([Import("util/config/common")]),Strategies([SDefNoArgs("set-verbosity",BA(CallNoArgs(SVar("set-config")),NoAnnoList(Tuple([NoAnnoList(Str("\"--verbose\"")),RootApp(Id)])))),SDefNoArgs("verbosity",LChoice(BA(CallNoArgs(SVar("get-config")),NoAnnoList(Str("\"--verbose\""))),Build(NoAnnoList(Int("1"))))),SDefNoArgs("pass-verbose",Build(NoAnnoList(List([NoAnnoList(Str("\"--verbose\"")),App(Seq(CallNoArgs(SVar("verbosity")),CallNoArgs(SVar("int-to-string"))),NoAnnoList(Tuple([])))]))))]),Strategies([SDefT("if-verbose",[DefaultVarDec("s")],[DefaultVarDec("t")],IfThen(BA(CallNoArgs(SVar("geq")),NoAnnoList(Tuple([App(CallNoArgs(SVar("verbosity")),NoAnnoList(Tuple([]))),Var("t")]))),CallNoArgs(SVar("s")))),SDef("if-verbose1",[DefaultVarDec("s")],CallT(SVar("if-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("1"))])),SDef("if-verbose2",[DefaultVarDec("s")],CallT(SVar("if-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("2"))])),SDef("if-verbose3",[DefaultVarDec("s")],CallT(SVar("if-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("3"))])),SDef("if-verbose4",[DefaultVarDec("s")],CallT(SVar("if-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("4"))])),SDef("if-verbose5",[DefaultVarDec("s")],CallT(SVar("if-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("5"))])),SDef("if-verbose6",[DefaultVarDec("s")],CallT(SVar("if-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("6"))])),SDef("if-verbose7",[DefaultVarDec("s")],CallT(SVar("if-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("7"))]))]),Strategies([SDefT("if-less-verbose",[DefaultVarDec("s")],[DefaultVarDec("t")],IfThen(BA(CallNoArgs(SVar("leq")),NoAnnoList(Tuple([App(CallNoArgs(SVar("verbosity")),NoAnnoList(Tuple([]))),Var("t")]))),CallNoArgs(SVar("s")))),SDef("if-less-verbose1",[DefaultVarDec("s")],CallT(SVar("if-less-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("1"))])),SDef("if-less-verbose2",[DefaultVarDec("s")],CallT(SVar("if-less-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("2"))])),SDef("if-less-verbose3",[DefaultVarDec("s")],CallT(SVar("if-less-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("3"))])),SDef("if-less-verbose4",[DefaultVarDec("s")],CallT(SVar("if-less-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("4"))])),SDef("if-less-verbose5",[DefaultVarDec("s")],CallT(SVar("if-less-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("5"))])),SDef("if-less-verbose6",[DefaultVarDec("s")],CallT(SVar("if-less-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("6"))])),SDef("if-less-verbose7",[DefaultVarDec("s")],CallT(SVar("if-less-verbose"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("7"))]))])])
