Add implies helper method - Githubissues

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless

Apache License 2.0

6 stars 2 forks source link

Add implies helper method #125

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

Closes #119.

Add implies method and test case.
Extract as std item.