pub fn declassify_u64_from_U16(x: U16) -> u64
Expand description

Warning: conversion can be lossy!