This week, I’ve focused on finishing the PR to add coiteration of nonordered levels as long as they are part of a conjunction with ordered levels. That involves some checking of the packed parameter `levels` and the function `f`.
For instance: F(a, b, c) = a & (b  c), that is F is a function that takes in boolean values representing a, b, c and then does some boolean expression on them. During initialization of the Coiterate, we would be able to know what levels are ordered during compiletime since these are properties of the levels. So say a and b are ordered, then we would just need to test "F(a, b, c)", which we would run the function F(false, false, true), which evaluates to false.
Say c is unordered, then check F(false, false, true) so we would check F(false, false, false), so for all combinations of unordered levels, check True/False for those.
For storing what levels are formatted: have a constexpr function with tuple of levels input that spits out a tuple of true/false indicating ordered/unordered elements in levels.
For dereferencing: Have to modify the algorithm to only return the PKs for the ordered ones and then locate into all unordered levels.
Along the way, I also started adding Doxygen style C++ docstrings to the relevant LOC I’m altering. To build locally, I needed to:

Install bison and link it:
brew install bison
brew upgrade bison
brew link bison –force

Install doxygen following the instructions here: https://www.doxygen.nl/download.html

Build documentation site locally:
cmake S documentation B build/doc
cmake build build/doc target GenerateDocs
# view the docs
open build/doc/doxygen/html/index.html
This allows me to check the validity of my docstrings locally, rather than pushing to the PR branch and letting CI take awhile to do so.
Another PR that arose was adding the ability for instances of level formats to access their level properties and querying whether or not the level is ordered, compact, unique, branchless and full. https://github.com/hameerabbasi/xsparse/pull/22 This is close to being merged and is waiting on review.