Searched refs:prop_unionVersionIntervals_associative (Results 1 – 4 of 4) sorted by relevance
98 , typProperty prop_unionVersionIntervals_associative456 prop_unionVersionIntervals_associative :: VersionIntervals459 prop_unionVersionIntervals_associative = function
99 , typProperty prop_unionVersionIntervals_associative549 prop_unionVersionIntervals_associative :: VersionIntervals552 prop_unionVersionIntervals_associative = function
100 , typProperty prop_unionVersionIntervals_associative554 prop_unionVersionIntervals_associative :: VersionIntervals557 prop_unionVersionIntervals_associative = function