%(K:*) %(V:*) @(cmp:@(:K) @(:K) Cmp) @(key:K) @(val:V) @(map:((BBT K) V)) ((BBT K) V)