Module("expect",[Imports([Import("term-io")]),Signature([Constructors([OpDecl("General",ConstType(SortNoArgs("Error")))])]),Strategies([SDef("expect",[DefaultVarDec("s"),DefaultVarDec("err")],LChoice(CallNoArgs(SVar("s")),Seq(Call(SVar("error"),[CallNoArgs(SVar("err"))]),Fail))),SDef("expect",[DefaultVarDec("s")],Call(SVar("expect"),[CallNoArgs(SVar("s")),Build(Var("General"))])),SDef("error",[DefaultVarDec("code")],Seq(Where(Seq(CallNoArgs(SVar("code")),Seq(CallNoArgs(SVar("errmsg")),CallNoArgs(SVar("debug"))))),Call(SVar("debug"),[Build(NoAnnoList(Str("\" error: expected success on \"")))]))),RDefNoArgs("errmsg",RuleNoCond(Var("General"),NoAnnoList(Str("\"general\""))))])])
