UUID

Alias for GEN_RANDOM_UUID.

Last modified April 22, 2024 at 7:10 PM EST: updating UUID functions (2ea76a5)