Function and

pub fn and(
    builder: &mut ConstraintSystemBuilder<'_>,
    name: impl ToString,
    xin: OracleId,
    yin: OracleId,
) -> Result<OracleId, Error>