NonEmpty<Type> exported in cedar-wasm should describe non-empty arrays

[victornicolet]

Describe the improvement you'd like to request

The type nonempty::NonEmpty used for non-empty vecs in the Rust implementation is exported in cedar-wasm by a script build-wasm.sh#L93:

    echo "export type NonEmpty<Type> = Array<Type>;" >> "$types_file"

@Swolebrain suggested this could be improved to actually represent non-empty arrays:

export type NonEmpty<Type> = [Type, ...Array<Type>];

However, this would be a backwards incompatible change.

Describe alternatives you've considered

No response

Additional context

No response

Is this something that you'd be interested in working on?

• 👋 I may be able to implement this internal improvement
• ⚠️ This feature might incur a breaking change