225def learnerSlotsForKind =
226 (lambda unrestricted kind : (family LearnerStateKind) .
227 (lambda unrestricted parameters : (family StdList (family ParameterSchema)) .
228 (stdListMap
229 (family ParameterSchema)
230 (family LearnerStateSlot)
231 (lambda unrestricted parameter : (family ParameterSchema) .
232 (constructor
233 LearnerStateSlot
234 LearnerParameterState
235 (parameterSchemaIdentityOf parameter)
236 kind))
237 parameters)))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.