let lookup_or_fail (h:('a,'b) t) x = h#lookup_or_fail x