law Array.atomic.max
import Base2527law Array.atomic.max:
2528 for a: Array<U32>
2529 for +i: U32
2530 for +v: U32
2531 Array<U32> & U32
Uses (3)
Used by (0)
No other definition uses this definition.
import Base2527law Array.atomic.max:
2528 for a: Array<U32>
2529 for +i: U32
2530 for +v: U32
2531 Array<U32> & U32
No other definition uses this definition.