Function or

pub fn or<U, F>(
    builder: &mut ConstraintSystemBuilder<'_, U, F>,
    name: impl ToString,
    xin: OracleId,
    yin: OracleId,
) -> Result<OracleId, Error>
where
    U: UnderlierType + Pod + PackScalar<F> + PackScalar<BinaryField1b>,
    F: TowerField,