let is_empty i = (i == mk_empty)