exe:hoed-examples-Digraph_not_data_invariant__with_properties

Dependencies

• Hoed lib:Hoed >=0
• base lib:base >=4 && <5
• lazysmallcheck lib:lazysmallcheck >=0

Reverse dependencies

None.