SettlementFacts

Complete selected asymmetric reference profile. Definitions and supplied fixtures are distinct from the three teaching specializations; review and qualification are stated in the bound evidence and release.

Package reference-profile, input revision 2. Exact prepared source; CC0 1.0.

This is a definition inventory. Start with the learning chapters for the contract and its assumptions.

DividendPrintedFacts1013 · operator

reference-profile · input revision 2 · CC0 1.0

DividendPrintedFacts1013 == [card \in {"Specimen0082","Specimen0168","Specimen0186","Specimen0215"} |->
 CASE
 card="Specimen0082" -> [sourceSHA |-> "f650dd5f645a144881a4702835e98d0d7e0d8c82ee502ecdb6c014cf85fb5112",requirement |-> 3,points |-> 2,multiplier |-> 2]
 []  card="Specimen0168" -> [sourceSHA |-> "13d93a5b09034576ac8089cf27050249f6ee1ace0b75eaa829f39b27af4d62eb",requirement |-> 3,points |-> 2,multiplier |-> 1]
 []  card="Specimen0186" -> [sourceSHA |-> "b404d5aacab0d7583d1a9f27a739fbc017b1803142fdcc2e8644918502a99b4b",requirement |-> 3,points |-> 2,multiplier |-> 1]
 []  card="Specimen0215" -> [sourceSHA |-> "d365573d144b7b55d11669af39655da3cd5a835d94a1c7d81deac8995f0b5dcb",requirement |-> 3,points |-> 2,multiplier |-> 1]]

Exact module download · Source bundle and reproduction instructions