hacspec_lib::prelude

Function declassify_u8_from_U8

Source
pub fn declassify_u8_from_U8(x: U8) -> u8
Expand description

Warning: conversion can be lossy!