fn permissions_exists<Z: ZkappApplication>(
perms: Permissions<AuthRequired>,
w: &mut Z::WitnessGenerator,
) -> Permissions<AuthRequired>
fn permissions_exists<Z: ZkappApplication>(
perms: Permissions<AuthRequired>,
w: &mut Z::WitnessGenerator,
) -> Permissions<AuthRequired>