Skip to content

feat: add BitVec.[toNat|toFin|toInt]_[sshiftRight|sshiftRight'] #25925

feat: add BitVec.[toNat|toFin|toInt]_[sshiftRight|sshiftRight']

feat: add BitVec.[toNat|toFin|toInt]_[sshiftRight|sshiftRight'] #25925

Annotations

3 errors

Nix Linux

cancelled Feb 25, 2025 in 7s