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