acvm::pwg::blackbox::range

Function solve_range_opcode

Source 
pub(crate) fn solve_range_opcode<F: AcirField>(
    initial_witness: &WitnessMap<F>,
    input: &FunctionInput<F>,
    num_bits: u32,
) -> Result<(), OpcodeResolutionError<F>>