Print a U128 as an UUID

Syntax

UUID_OF_U128 …u128-expr…

Typing

U128 -> STRING

Description

Convert a U128 into a STRING using the traditional notation for UUIDs.

Examples

expression evaluates to
UUID_OF_U128 0x123456789abcdeffedcba098765431 "00123456-789a-bcde-ffed-cba098765431"