NegFelt252Minus0x80000000000000000000000000000000
Fully qualified path: core::internal::bounded_int::NegFelt252Minus0x80000000000000000000000000000000
impl NegFelt252Minus0x80000000000000000000000000000000 =
neg_felt252::Impl<-0x80000000000000000000000000000000, 0x80000000000000000000000000000000>;