In the documentation it is possible to find examples of binary inputs, using BitVector and other examples with real inputs. Is it possible to mix the two things? Have binary and real inputs?
It would be interesting to add such an example in the documentation.