NegFelt252Minus0x7fff

Fully qualified path: core::internal::bounded_int::NegFelt252Minus0x7fff

impl NegFelt252Minus0x7fff = neg_felt252::Impl<-0x7fff, 0x7fff>;