89def learningCompositionCode =
90 (lambda unrestricted result :
91 (family StdResult (family LearningIncompatibility) (family LearningTransformation)) .
92 (eliminate StdResult
93 (lambda unrestricted current :
94 (family StdResult (family LearningIncompatibility) (family LearningTransformation)) . Nat)
95 result
96 (branch StdFailure problem .
97 (eliminate LearningIncompatibility
98 (lambda unrestricted current : (family LearningIncompatibility) . Nat)
99 problem
100 (branch LearningRepresentationMismatch . (succ zero))
101 (branch LearningEffectMismatch . (succ (succ zero)))
102 (branch LearningResourceMismatch . (succ (succ (succ zero))))
103 (branch LearningTimingMismatch . (succ (succ (succ (succ zero)))))))
104 (branch StdSuccess value . zero)))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.