Docs.rs
hax-lib-0.3.1
hax-lib 0.3.1
Permalink
Docs.rs crate page
Apache-2.0
Links
Homepage
Repository
crates.io
Source
Owners
franziskuskiefer
github:cryspen:tools
Dependencies
hax-lib-macros =0.3.1
normal
optional
num-bigint ^0.4
normal
num-traits ^0.2
normal
Versions
25.37%
of the crate is documented
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
hax_lib
0.3.1
ToInt
Required Methods
to_int
Implementations on Foreign Types
i8
i16
i32
i64
i128
isize
u8
u16
u32
u64
u128
usize
Implementors
In hax_
lib::
int
hax_lib
::
int
Trait
ToInt
Copy item path
Source
pub trait ToInt { // Required method fn
to_int
(self) ->
Int
; }
Required Methods
§
Source
fn
to_int
(self) ->
Int
Implementations on Foreign Types
§
Source
§
impl
ToInt
for
i8
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
i16
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
i32
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
i64
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
i128
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
isize
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
u8
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
u16
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
u32
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
u64
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
u128
Source
§
fn
to_int
(self) ->
Int
Source
§
impl
ToInt
for
usize
Source
§
fn
to_int
(self) ->
Int
Implementors
§