141def linearComponentOutputsOf =
142 (lambda unrestricted component : (family LinearComponent) .
143 (eliminate
144 LinearComponent
145 (lambda unrestricted current : (family LinearComponent) . Nat)
146 component
147 (branch LinearComponentOf name inputs outputs bias . outputs)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.