Function leo_compiler::expression::logical::and::enforce_and

pub fn enforce_and<F: Field + PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(
    cs: &mut CS, 
    left: ConstrainedValue<F, G>, 
    right: ConstrainedValue<F, G>, 
    span: Span
) -> Result<ConstrainedValue<F, G>, BooleanError>