the weight's logical extent is inputs x outputs elements of the representation
32def linearWeightStorage =
33 (lambda unrestricted inputs : Nat .
34 (lambda unrestricted outputs : Nat .
35 (constructor
36 LogicalStorage
37 LogicalStorageOf
38 (nat-multiply inputs outputs)
39 4
40 (constructor LogicalOwnership LogicalOwned)
41 (constructor LogicalLifetime LogicalPersistent))))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.