diff --git a/database/db_types.anubis b/database/db_types.anubis index 0e1276b..0b63b21 100644 --- a/database/db_types.anubis +++ b/database/db_types.anubis @@ -67,6 +67,18 @@ public define Int db_id(_idx) then _idx }. +public define Word32 + to_Word32 + ( + DB_id idx + )= + if idx is + { + none then 0xFFFFFFFF, + db_id(_idx) then truncate_to_Word32(_idx) + } +. + public define DB_id to_DB_id ( -- libgit2 0.21.4