64def correlationSystemWith =
65 (lambda unrestricted rate : F64 .
66 (constructor
67 IndependentStateSystem
68 IndependentStateSystemOf
69 4
70 1
71 correlationAssignments
72 (constructor
73 StdList
74 StdListCons
75 (family StdList StdU64)
76 (correlationRow 1.0 rate 2.0 3.0)
77 (constructor
78 StdList
79 StdListCons
80 (family StdList StdU64)
81 (correlationRow 2.0 rate 4.0 1.0)
82 (constructor StdList StdListEmpty (family StdList StdU64))))))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.