Add get length function (#8) · Issues · algorithmique / lib_2021_malaspinas / stack