Module gadget_builder_sort
r1cs
This module extends GadgetBuilder with a method for splitting a field element into bits.