AlphaGitHub
Source/Packages

Component.Linear

packages/components/src/Component/Linear.alpha

147 lines14 declarations5.0 KiBSHA-256 fcdd397cbdab
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 133–139

linearComponentInputsOf

Full file
133def linearComponentInputsOf =
134  (lambda unrestricted component : (family LinearComponent) .
135    (eliminate
136      LinearComponent
137      (lambda unrestricted current : (family LinearComponent) . Nat)
138      component
139      (branch LinearComponentOf name inputs outputs bias . inputs)))

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.