75def textArtifactPathValid =
76 (lambda unrestricted path : Bytes .
77 (naturalAnd
78 (naturalNonzero (bytes-length path))
79 (naturalLessOrEqual (bytes-length path) textArtifactPathMaximumLength)))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.