Function hacspec_lib::prelude::declassify_u32_from_U16

source · [−]
pub fn declassify_u32_from_U16(x: U16) -> u32
Expand description

Warning: conversion can be lossy!