385def chIdentity =
386 (lambda unrestricted numerics : Bytes .
387 (lambda unrestricted operation : Nat .
388 (lambda unrestricted sender : Nat .
389 (lambda unrestricted receiver : Nat .
390 (lambda unrestricted region : Bytes .
391 (constructor
392 RegionTransferIdentity
393 RegionTransferIdentityOf
394 b"coordinate-squared-error"
395 b"coordinate-learning-v1"
396 region
397 numerics
398 (constructor LearningRound LearningRoundOf 1 0)
399 operation
400 sender
401 receiver
402 (constructor LogicalInterval LogicalIntervalOf 0 coordinateCount)))))))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.