~/jendhub

def minimize.start

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

import bend-kit-property@0.4.0.0/property.bend as Property
import Base

57def minimize.start(~T: Type, ~copy: T -> T & T, ~shrink: T -> List<&1, T>, ~test: T -> T & Bool,
58  value: T) -> T:
59  minimize(~T, ~copy, ~shrink, ~test, 1024n, attempt(~T, ~copy, ~shrink, ~test, value))

Uses (5)

Used by (1)