12.5. Accumulation Input🔗

inductive type

Jar.Services.AccumulationInput [Jar.JarConfig] : Type
Jar.Services.AccumulationInput
  [Jar.JarConfig] : Type

Accumulation input: either an operand (from work-report) or a transfer.

Constructors

operand [Jar.JarConfig] : Jar.WorkDigest → AccumulationInput

Operand from a work-report result.

transfer [Jar.JarConfig] :
  Jar.DeferredTransfer → AccumulationInput

Deferred transfer from another service.