88def textArtifactRequestFieldsValid =
89 (lambda unrestricted request : (family TextArtifactRequest) .
90 (eliminate
91 TextArtifactRequest
92 (lambda unrestricted current : (family TextArtifactRequest) . Nat)
93 request
94 (branch
95 TextArtifactRequestValue
96 operation
97 input
98 checkpointInput
99 checkpointOutput
100 predictionsOutput
101 resultOutput
102 checkpointTemporary
103 checkpointDirectory
104 .
105 (naturalAnd
106 (textArtifactPathValid input)
107 (naturalAnd
108 (textArtifactPathValid checkpointInput)
109 (naturalAnd
110 (textArtifactPathValid checkpointOutput)
111 (naturalAnd
112 (textArtifactPathValid predictionsOutput)
113 (naturalAnd
114 (textArtifactPathValid resultOutput)
115 (naturalAnd
116 (textArtifactPathValid checkpointTemporary)
117 (textArtifactPathValid checkpointDirectory))))))))))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.