%(K:*) %(V:*) ((BBT K) V)