type Failure

bend-kit-property@0.4.0.0 · property.bend:7

import Base

7type Failure<-T: Type> is Type:
8  Failure{seed: U32, trial: Nat, value: T}