Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Laboratory-local support of the inherited outputs
Laboratory-local support of the inherited outputs · lines 808–815
These are the supported versions of IX-D's support ledger
IXD ({:support}).
They do not assert support of an unconstructed retarded
argument-slot distribution.