Oli Scherer 4f11f3b257 Convert predicates into Predicate in the Obligation constructor		2022-11-16 09:25:19 +00:00
..
src	Convert predicates into Predicate in the Obligation constructor	2022-11-16 09:25:19 +00:00
Cargo.toml	Bump chalk to v0.87	2022-11-13 19:29:38 +00:00