AlphaGitHub
Source/Packages

Learning.Transformation

packages/learning/src/Learning/Transformation.alpha

104 lines22 declarations5.0 KiBSHA-256 72e22bc0eb49
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 33–37

learningCompositionFailure

Full file
33def learningCompositionFailure =
34  (lambda unrestricted problem : (family LearningIncompatibility) .
35    (lambda unrestricted transformation : (family LearningTransformation) .
36      (constructor StdResult StdFailure
37        (family LearningIncompatibility) (family LearningTransformation) problem)))

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.