kframework - “需要”和“何时”附带条件之间的区别

Question

例如，如果我有一些规则rule <k> foo bar => baz </k> <barList> bars </barList>并且我只想bar在列表中的时候加热规则，bars我相信我会添加requires bar in barsor when bar in bars。我一直使用when它作为我的首选，但阅读 K 手册待定文档似乎requires可能是首选。两者似乎都意味着“仅在满足此条件时才加热此规则”，因此我不清楚 和 之间的区别requires以及when在哪种情况下使用哪种情况。谢谢！

Answer 1

when和requires是同义词，但when被认为已弃用，因此请requires改用。