def attempt
import bend-kit-property@0.4.0.0/property.bend as Propertyimport Base
39def attempt(~T: Type, ~copy: T -> T & T, ~shrink: T -> List<&1, T>, ~test: T -> T & Bool, value: T) -> T & Maybe<&1, T>:
40 attempt.pair(~T, ~shrink, ~test, copy(value))