large refactor to reduce complexity

This commit is contained in:
microproofs 2024-02-15 15:56:30 -05:00 committed by Kasey
parent 8f84eb382f
commit 58d586c5cf
1 changed files with 546 additions and 585 deletions

File diff suppressed because it is too large Load Diff