Module hydroflow::props

Hydroflow lattice and flow properties, very WIP.

Modules

• wrap

Structs

• Consecutive
• Duplicates
• Monotonic
• NoDuplicates
• NonMonotonic

Traits

• PropDuplicates
• PropMonotonicity
• Props
• Spec