Function hacspec_lib::prelude::declassify_u64_from_U64

source · [−]
pub fn declassify_u64_from_U64(x: U64) -> u64
Expand description

Warning: conversion can be lossy!