Module("strategy/general/memo",[Imports([Import("lang/dynamic-rules")]),Strategies([SDef("memo-scope",[DefaultVarDec("s")],DynRuleScope([DynRuleScopeId("Memo")],CallNoArgs(SVar("s")))),RDef("memo",[DefaultVarDec("s")],Rule(Var("t"),Var("t'"),LChoice(AM(BA(CallNoArgs(SVar("Memo")),Var("t")),Var("t'")),Seq(AM(BA(CallNoArgs(SVar("s")),Var("t")),Var("t'")),GenDynRules([SetDynRule(DynRuleId(RDecNoArgs("Memo")),RuleNoCond(Var("t"),Var("t'")))])))))])])
