Partition partitions v into two parts split at bit numbered split.

WithNbDigits sets the bound on the number of digits the input can have.

WithUnconstrainedOutputs allows to skip the output decomposition and outputs width checks.

Option allows to customize the behavior of functions in this package.