Mica Demo
Select an example module signature
Module Signature:
Property-based testing code (produced by Mica automatically):