AlphaGitHub
Source/Packages

Representation.BuildPlan

packages/representations/src/Representation/BuildPlan.alpha

85 lines15 declarations2.6 KiBSHA-256 88e9b66c75c1
Download exact fileView at revisionf5034773ad4bb52133

def · lines 26–35

buildPlanCons

Full file
26def buildPlanCons =
27  (lambda unrestricted name : Bytes .
28    (lambda unrestricted value : Bytes .
29      (lambda unrestricted rest : (family StdList (family BuildPlanEntry)) .
30        (constructor
31          StdList
32          StdListCons
33          (family BuildPlanEntry)
34          (record BuildPlanEntry (buildPlanEntryName = name) (buildPlanEntryValue = value))
35          rest))))

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.