65def componentPath =
66 (lambda unrestricted prefix : (family StdList Bytes) .
67 (lambda unrestricted name : Bytes .
68 (lambda unrestricted leaf : Bytes .
69 (stdListAppend
70 Bytes
71 prefix
72 (constructor
73 StdList
74 StdListCons
75 Bytes
76 name
77 (constructor StdList StdListCons Bytes leaf (constructor StdList StdListEmpty Bytes)))))))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.