hacspec_lib::prelude

Function declassify_u16_from_U16

Source
pub fn declassify_u16_from_U16(x: U16) -> u16
Expand description

Warning: conversion can be lossy!