Module Types.Recompute_heap
type t
=
{
mutable length : int;
mutable height_lower_bound : int;
mutable nodes_by_height : Node.Packed.t Incremental__.Import.Uopt.t array;
}
Types.Recompute_heap
type t
=
{
mutable length : int; |
mutable height_lower_bound : int; |
mutable nodes_by_height : Node.Packed.t Incremental__.Import.Uopt.t array; |
}