plutarch-quickcheck-2.2.2: Quickcheck for Plutarch.

Bridge between QuickCheck and Plutarch. The interfaces provide easy ways to construct properties about Plutarch functions.