Source/Packages

Representation.BuildPlan

packages/representations/src/Representation/BuildPlan.alpha

85 lines15 declarations2.6 KiBSHA-256 88e9b66c75c1

def · lines 65–77

renderSystemTargetBuildPlan

Full file
65def renderSystemTargetBuildPlan =
66  (lambda unrestricted plan : (family SystemTargetBuildPlan) .
67    (eliminate
68      SystemTargetBuildPlan
69      (lambda unrestricted current : (family SystemTargetBuildPlan) . Bytes)
70      plan
71      (branch
72        SystemTargetBuildPlanValue
73        identity
74        accepted
75        entries
76        .
77        (renderBuildPlanEntries entries))))

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.