`num_points` and `num_samples` attribute in json header

[Andrej730]

Wanted to clarify what num_points mean in json header.

Is it the maximum number of points presented in any frame of the presented json?
E.g., points per frames: 5, 6, 15, 50, 25, 5, 25, then num_points = 50.

Or it's the amount of all points used in the file? Basically maximum(ID) of all points presented in the file?
E.g. filecontaining two frames and frame 0 has 1000 points, frame 1 has 1000 points with completely different ids, then num_points = 2000.

And what is num_samples? From the example it seems to be sum of all points in all frames.

Also, Is there some hjson file format description?

[Andrej730]

@dpernuit hello! can you please take a look?