hacspec_lib::prelude

Function declassify_u128_from_U128

Source
pub fn declassify_u128_from_U128(x: U128) -> u128
Expand description

Warning: conversion can be lossy!