sigmastate.eval.GraphBuilding
Pattern match extractor which recognizes isValid nodes among items.
isValid
None if there is no isValid node among items Some((bs, ss)) if there are isValid nodes where ss are SigmaProp arguments of those nodes and bs contains all the other nodes.
None
Some((bs, ss)) if there are
nodes where
are
arguments of those nodes and
contains all the other nodes.
Pattern match extractor which recognizes
isValid
nodes among items.None
if there is noisValid
node among itemsSome((bs, ss)) if there are
isValidnodes where
ssare
SigmaProparguments of those nodes and
bscontains all the other nodes.