a learner-state slot's key: the parameter's path then the state kind, or the kind alone
313def learnerStateSlotKey =
314 (lambda unrestricted slot : (family LearnerStateSlot) .
315 (eliminate
316 LearnerStateSlot
317 (lambda unrestricted current : (family LearnerStateSlot) . (family StdList Bytes))
318 slot
319 (branch
320 LearnerParameterState
321 parameter
322 kind
323 .
324 (stdListAppend
325 Bytes
326 (parameterIdentityComponentsOf parameter)
327 (constructor
328 StdList
329 StdListCons
330 Bytes
331 (learnerStateKindName kind)
332 (constructor StdList StdListEmpty Bytes))))
333 (branch
334 LearnerGlobalState
335 kind
336 .
337 (constructor
338 StdList
339 StdListCons
340 Bytes
341 (learnerStateKindName kind)
342 (constructor StdList StdListEmpty Bytes)))))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.