symbolic: A symbolic value.
In hedgehog: Property-Based Testing

These values are the outputs of a computation during the calculations' construction, and allow a value to use the results of a previous function.

1	symbolic(var)

var

the integer output indicator.

Really, this is just an integer, which we use as a name for a value which will exist later in the computation.

hedgehog documentation built on May 2, 2019, 11:27 a.m.

hedgehog index

Note that we can't provide technical support on individual packages. You should contact the package authors for that.

Description