From 73421c76c4e1dcd0566b533e035b264fcf57e907 Mon Sep 17 00:00:00 2001
From: Karol Ochman-Milarski <46135727+zmrocze@users.noreply.github.com>
Date: Tue, 7 Jun 2022 21:35:12 +0200
Subject: [PATCH] Comment MustSatisfyAnyOf. (#497)

---
 .../src/Ledger/Constraints/TxConstraints.hs                     | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/plutus-ledger-constraints/src/Ledger/Constraints/TxConstraints.hs b/plutus-ledger-constraints/src/Ledger/Constraints/TxConstraints.hs
index 0aac444717..fb4ee64171 100644
--- a/plutus-ledger-constraints/src/Ledger/Constraints/TxConstraints.hs
+++ b/plutus-ledger-constraints/src/Ledger/Constraints/TxConstraints.hs
@@ -70,6 +70,8 @@ data TxConstraint =
     | MustPayToOtherScript ValidatorHash (Maybe StakeValidatorHash) Datum Value
     -- ^ The transaction must create a transaction output with a script address.
     | MustSatisfyAnyOf [[TxConstraint]]
+    -- ^ The transaction must satisfy constraints given as an alternative of conjuctions (DNF),
+    -- that is `check (MustSatisfyAnyOf xs) = any (all check) xs`
     deriving stock (Haskell.Show, Generic, Haskell.Eq)
     deriving anyclass (ToJSON, FromJSON)