!#S      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRNoneDSX`b numhask-hedgehoga rational-style random variatenumhask-hedgehog an integral-stype random variatenumhask-hedgehog1an integral-style random variate utilising Boundsnumhask-hedgehog0a rational style random variate utilising Boundsnumhask-hedgehog+a uniform distribution between zero and onenumhask-hedgehog'a uniform distribution between -1 and 1numhask-hedgehoga complex random variatenumhask-hedgehogSpace numhask-hedgehoga pair   None+>DXb numhask-hedgehogrunning tests in parallel numhask-hedgehogrun tests sequentially numhask-hedgehog7Combinator for a property of involving a single element numhask-hedgehog0Combinator for a property involving two elementsnumhask-hedgehog2Combinator for a property involving three elements"  !"#$%&'()*+"  !"#$%&'()*+None ,>DHVXb,-./0123456789:;<=>?@ABCDE,-./0123456789:;<=>?@ABCDENone+>DXbKnumhask-hedgehog field lawsLnumhask-hedgehogquotient field lawsNnumhask-hedgehog field lawsOnumhask-hedgehog lattice lawsPnumhask-hedgehog space lawsQnumhask-hedgehog space lawsRnumhask-hedgehog$Interval algebra is not distributive FGHIJKLMNOPQR FGHIJKLMNOPQRNoneDb;9  !"#$%&'()*+FGHIJKLMNOPQRS      !"#$%&'()*+,-./012345 $')-6789:;<=>?@ABCDEFGHIJKL+numhask-hedgehog-0.3-J58UqhZPFl49lCcodnmn7NNumHask.Hedgehog.GenNumHask.Hedgehog.PropNumHask.Hedgehog.Prop.SpaceNumHask.Hedgehog.PropsNumHask.Hedgehogrationalintegral integral_ rational_uniform negUniform genComplexgenRange genRangePosgenPair assertPropsassertPropsSequnarybinaryternary isIdempotent isCommutativeisUnital isAssociative isAdditiveisGroup isSubtractiveisMultiplicative isDivisiveisDistributiveisAbsorbativeUnit isAbsorbative isIntegralisFromIntegral isRationalisSignedisNormedisNormedBoundedisNormedUnboundedisMetricBoundedisMetricUnboundedisUpperBoundedFieldisLowerBoundedFieldisQuotientIntegerField isExpField isSemiringisRingisStarSemiring isInvolutive CanMeasureisDistributiveTimesPlusisDistributiveJoinMeetisZeroAbsorbativeisCommutativeSpaceisAssociativeSpace isUnitalSpaceisLatticeSpaceisSubtractiveSpaceisDivisiveSpaceisContainedUnionisProjectiveLowerisProjectiveUpper integralPropsintegralUnboundedProps naturalProps boolProps rationalProps fieldPropsquotientFieldPropscomplexFieldProps logFieldProps latticeProps spacePropsfieldSpacePropsspaceAlgebraProps