Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Add a `NoBackTrack` type class.
· 36c1ed8e
Robbert Krebbers
authored
Feb 08, 2018
`NoBackTrack P` requires `P` but will never backtrack on it once a result for `P` has been found.
36c1ed8e