Created a new Value instance with an appropriate type derived from the given data obj
.
Created a new Value instance with an appropriate type derived from the given data obj
.
If obj
is already Value, then it is returned as result.
Uses scalan.Nullable instead of scala.Option to avoid allocation on consensus hot path.
Logically inverse to mkSigmaPropIsProven
Logically inverse to mkSigmaPropIsProven
Logically inverse to mkBoolToSigmaProp
Logically inverse to mkBoolToSigmaProp