refactoring: addressing review comments

ergoplatform · Aug 14, 2023 · 2b72f2f · 2b72f2f
1 parent b81849e
commit 2b72f2f
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/interpreter/shared/src/main/scala/sigmastate/trees.scala b/interpreter/shared/src/main/scala/sigmastate/trees.scala
@@ -35,7 +35,11 @@ trait SigmaConjecture extends SigmaBoolean {
 }
 
 /**
-  * Basic trait for leafs of crypto-trees, such as [[sigmastate.basics.DLogProtocol.ProveDlog]] and [[sigmastate.basics.ProveDHTuple]] instances
+  * Basic trait for leafs of crypto-trees, such as
+  * [[sigmastate.basics.DLogProtocol.ProveDlog]] and [[sigmastate.basics.ProveDHTuple]]
+  * instances.
+  * It plays the same role as [[SigmaConjecture]]. It used in prover to distinguish leafs from
+  * other nodes and have logic common to leaves regardless of the concrete leaf type.
   */
 trait SigmaLeaf extends SigmaBoolean