fn first_missing_assignment<F>(
witness_assignments: &WitnessMap<F>,
inputs: &[FunctionInput<F>],
) -> Option<Witness>Expand description
Check if all of the inputs to the function have assignments
Returns the first missing assignment if any are missing