Numeric.Search

Evidence

data Evidence a b

Search Range

type Range b a

class InitializesSearch a x

Splitters

splitForever

splitTill

Search

search

searchM

Postprocess

smallest

largest