Changes between #276 and #277
#277 (Oct 30, 2020 5:22:10 PM)
- Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) — nick.battle / detail
- Use re-stated types in definition imports (see #760) (commit: bd2643b) — nick.battle / detail