Source/Systems

LocalCorrelation.System

systems/local-correlation/src/LocalCorrelation/System.alpha

104 lines9 declarations2.8 KiBSHA-256 4f106dd3a7be

def · lines 37–62

correlationRow

Full file
37def correlationRow =
38  (lambda unrestricted state : F64 .
39    (lambda unrestricted rate : F64 .
40      (lambda unrestricted left : F64 .
41        (lambda unrestricted right : F64 .
42          (constructor
43            StdList
44            StdListCons
45            StdU64
46            (stdF64ToWord64 state)
47            (constructor
48              StdList
49              StdListCons
50              StdU64
51              (stdF64ToWord64 rate)
52              (constructor
53                StdList
54                StdListCons
55                StdU64
56                (stdF64ToWord64 left)
57                (constructor
58                  StdList
59                  StdListCons
60                  StdU64
61                  (stdF64ToWord64 right)
62                  (constructor StdList StdListEmpty 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.