let member t k = t.lo <= k && k <= t.hi