Inverted counters with proper default values#691

Merged

antoinepouille merged 2 commits intomasterfrom inverted_counters_with_proper_default_values

Mar 28, 2024

+975-288

Commits on Mar 28, 2024

Done: add proper default value to counters, to do: check that is solves: #685 and #687 ; also check json export of stories

Jérôme FERET
authored and
antoinepouille
committed
Small changes for clarity + dune fmt
antoinepouille
committed