On Thu Nov 23 09:38:10 2023 +0000, Giovanni Mascellani wrote:
It seems as if `statically_written` could be assumed to be `!!node`, so you have one fewer consistency rule to enforce.
hmm, good point. I changed it.
I am still not sure if writing `.statically_written` explicitly instead of checking the pointer may be more readable though.