21def renderBuildRequest =
22 (lambda unrestricted request : (family SystemTargetBuildRequest) .
23 (eliminate
24 SystemTargetBuildRequest
25 (lambda unrestricted current : (family SystemTargetBuildRequest) . Bytes)
26 request
27 (branch
28 SystemTargetBuildRequestValue
29 system
30 learner
31 target
32 admitted
33 schedule
34 memory
35 protocol
36 checkpoint
37 output
38 artifactRoot
39 artifactExpression
40 .
41 (bytes-append
42 b"system="
43 (bytes-append
44 system
45 (bytes-append
46 b"\tlearner="
47 (bytes-append
48 learner
49 (bytes-append
50 b"\ttarget="
51 (bytes-append
52 target
53 (bytes-append
54 b"\tschedule="
55 (bytes-append
56 schedule
57 (bytes-append
58 b"\tmemory="
59 (bytes-append
60 memory
61 (bytes-append
62 b"\tprotocol="
63 (bytes-append
64 protocol
65 (bytes-append
66 b"\tcheckpoint="
67 (bytes-append
68 checkpoint
69 (bytes-append b"\toutput="
70 (bytes-append output
71 (bytes-append b"\troot="
72 (bytes-append artifactRoot
73 (bytes-append b"\texpression="
74 (bytes-append artifactExpression b"\n"))))))))))))))))))))
75 )))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.