Function permissions_exists

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