Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Add a description of how to use withspacer in manual #581

Open
lennartberinger opened this issue May 21, 2022 · 2 comments
Open

Add a description of how to use withspacer in manual #581

lennartberinger opened this issue May 21, 2022 · 2 comments

Comments

@lennartberinger
Copy link
Collaborator

No description provided.

@andrew-appel
Copy link
Collaborator

Can you give an example of a proof goal in which this documentation would be useful?

@lennartberinger
Copy link
Collaborator Author

In think it would help if the various arguments were explained a little, so that users know how to define an appropriate instantiation and can see more easily whether they need to wrap a predicate they have in mind in a withspacer.

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lennartberinger @andrew-appel