hacspec_lib::prelude

Function declassify_u32_from_U32

Source
pub fn declassify_u32_from_U32(x: U32) -> u32
Expand description

Warning: conversion can be lossy!