vstd
SpecNeg
Required Associated Types
Output
Required Methods
spec_neg
Implementations on Foreign Types
i8
i16
i32
i64
i128
isize
u8
u16
u32
u64
u128
usize
Implementors
In vstd::
prelude
vstd
::
prelude
Trait
SpecNeg
Copy item path
pub trait SpecNeg { type
Output
; // Required method fn
spec_neg
(self) -> Self::
Output
; }
Required Associated Types
§
type
Output
Required Methods
§
fn
spec_neg
(self) -> Self::
Output
Implementations on Foreign Types
§
§
impl
SpecNeg
for
i8
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
i8
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
i16
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
i16
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
i32
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
i32
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
i64
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
i64
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
i128
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
i128
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
isize
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
isize
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
u8
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
u8
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
u16
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
u16
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
u32
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
u32
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
u64
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
u64
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
u128
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
u128
as
SpecNeg
>::
Output
§
impl
SpecNeg
for
usize
§
type
Output
=
int
§
fn
spec_neg
(self) -> <
usize
as
SpecNeg
>::
Output
Implementors
§
§
impl
SpecNeg
for
int
§
type
Output
=
int
§
impl
SpecNeg
for
nat
§
type
Output
=
int