Compatibility is structured evidence supplied by composition. Keeping the
four dimensions separate makes unsupported cases visible and testable.
25family LearningCompatibility : Type 0
26constructor LearningCompatibilityOf
27field unrestricted learningRepresentationCompatible : (family StdBool)
28field unrestricted learningEffectsCompatible : (family StdBool)
29field unrestricted learningResourcesCompatible : (family StdBool)
30field unrestricted learningTimingCompatible : (family StdBool)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.