@[inline_if_reduce]
Auxiliary definition for List.toArray
.
List.toArrayAux as r = r ++ as.toArray
Equations
- [].toArrayAux x✝ = x✝
- (a :: as).toArrayAux x✝ = as.toArrayAux (x✝.push a)
Auxiliary definition for List.toArray
.
List.toArrayAux as r = r ++ as.toArray