53def linearParameterAt =
54 (lambda unrestricted path : (family StdList Bytes) .
55 (lambda unrestricted shape : (family StdList Nat) .
56 (lambda unrestricted storage : (family LogicalStorage) .
57 (constructor
58 ParameterSchema
59 ParameterSchemaOf
60 (constructor ParameterIdentity ParameterIdentityOf path)
61 (constructor ParameterShape ParameterShapeOf shape)
62 b"f32"
63 storage))))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.