Manuscript VIII-A@3 · VIII-A-v3.tex · section · 2398a747
Four rule types
The finite admissibility contract › Four rule types · lines 880–884
This contract states what a sourced constructor must return; it does not construct one.
Manuscript VIII-A@3 · VIII-A-v3.tex · section · 2398a747
The finite admissibility contract › Four rule types · lines 880–884
This contract states what a sourced constructor must return; it does not construct one.