conformance
Safe HaskellNone
LanguageGHC2021

Conformance.Fold.KeyedMint

Description

Two real requests: a wrong allocation is rejected, the correct one succeeds.

Synopsis

Documentation

keyedMintFold :: Binding Source #

The batch-allocation obligation.

conjuncts :: [String] Source #

Verbatim Lean anchors used by this subject.