This pull request implements from_leaf_intervals/1,2 to reconstruct a ClosedInterval from intervals generated by leaf_intervals/1. It also adds property tests to ensure that we can construct ClosedInterval from both a list of intervals, and from the output of to_list/1. The latter needed a fix to make that work.
This pull request implements
from_leaf_intervals/1,2to reconstruct aClosedIntervalfrom intervals generated byleaf_intervals/1. It also adds property tests to ensure that we can constructClosedIntervalfrom both a list of intervals, and from the output ofto_list/1. The latter needed a fix to make that work.