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 23–29

linearComponentNameOf

Full file
23def linearComponentNameOf =
24  (lambda unrestricted component : (family LinearComponent) .
25    (eliminate
26      LinearComponent
27      (lambda unrestricted current : (family LinearComponent) . Bytes)
28      component
29      (branch LinearComponentOf name inputs outputs bias . name)))

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.