law Array.atomic.add
import Base2515law Array.atomic.add:
2516 for a: Array<U32>
2517 for +i: U32
2518 for +v: U32
2519 Array<U32> & U32
import Base2515law Array.atomic.add:
2516 for a: Array<U32>
2517 for +i: U32
2518 for +v: U32
2519 Array<U32> & U32