Sourcetype t = {heap : int array;mutable len : int;mutable max : int;
} Sourceval populate :
length:int ->
freqs:int array ->
int array ->
depth:int array ->
t ->
int Sourceval pkzip : int -> freqs:int array -> depth:int array -> t -> int Sourceval smaller : int array -> int -> int -> int array -> bool Sourceval pqdownheap : freqs:int array -> depth:int array -> t -> int -> unit Sourceval pqremove : freqs:int array -> depth:int array -> t -> int