pub fn apply_perm
[
N : Nat,
$S,
@D
]
( xs : list[list[uint[N] $S @D] $pre @public] $pre @public,
perm : list[uint[18446744073709551616] $pre @D] $pre @public
)
-> list[list[uint[N] $S @D] $pre @public] $pre @public
where
Field[N],
Challenge[N]
The list of permutation images of the lists in the given list of lists, when the permutation given as the second argument is applied.