public static void Swap(this ValHeap h, long i, long j) { var a = h.a; a[i] = a[j]; a[j] = a[i]; }
public static long Len(this ValHeap h) { return(len(h.a)); }