Function hacspec_lib::prelude::declassify_u128_from_U8

source · [−]
pub fn declassify_u128_from_U8(x: U8) -> u128
Expand description

Warning: conversion can be lossy!