hw-prim-0.6.2.39: Primitive functions and data types

Perform a binary search in the domain of function f, bounded by the values p and q to find the least value v such that: @w <= (f v)