Docs: Fold and Unfold #151
Description
Could the docs here be more explicit about what Fold and Unfold do and why you would use them? Maybe an example? Also I don't understand the sentence "Predicates abstract over assertions.".
{{ message }}
Could the docs here be more explicit about what Fold and Unfold do and why you would use them? Maybe an example? Also I don't understand the sentence "Predicates abstract over assertions.".