charon_
lib
0.1.73
In charon_
lib::
transform::
remove_
read_
discriminant
Structs
Transform
Constants
DISCRIMINANT_INTRINSIC
Functions
generate_discr_assignment
charon_lib
::
transform
::
remove_read_discriminant
Constant
DISCRIMINANT_INTRINSIC
Copy item path
Settings
Help
Summary
Source
const DISCRIMINANT_INTRINSIC: &
str
= "core::intrinsics::discriminant_value";