All

creusot_contracts0.8.0

Crate Items

Macros
Structs
Enums
Traits
Functions
Type Aliases
Attribute Macros
Derive Macros

List of all items

Structs

Enums

logic::ra::sum::Sum

Traits

Macros

ghost::local_invariant::declare_namespace
logic::ord::ord_laws_impl
macros::extern_spec
macros::ghost
macros::ghost_let
macros::pearlite
macros::proof_assert
macros::snapshot
ord_laws_impl
std::vec::vec
vec

Attribute Macros

macros::bitwise_proof
macros::builtin
macros::check
macros::ensures
macros::erasure
macros::invariant
macros::logic
macros::maintains
macros::opaque
macros::open_inv_result
macros::requires
macros::trusted
macros::variant

Derive Macros

model::DeepModel
prelude::Clone
prelude::DeepModel
prelude::Default
prelude::PartialEq
std::clone::Clone
std::cmp::PartialEq
std::default::Default

Functions

invariant::inv
logic::fset::concat_empty
logic::fset::concat_replicate
logic::fset::concat_replicate_up_to
logic::fset::concat_union
logic::fset::cons_concat
logic::fset::map_union
logic::fset::unions_union
logic::seq::flat_map_push_back
logic::seq::flat_map_singleton
logic::such_that
logic::unreachable
resolve::resolve
resolve::structural_resolve
std::cell::extern_spec_T_UnsafeCell_T_get
std::cell::extern_spec_T_UnsafeCell_T_new
std::char::extern_spec_Default_char_default
std::char::injective_to_utf8
std::clone::extern_spec_Clone_bool_clone
std::clone::extern_spec_Clone_f32_clone
std::clone::extern_spec_Clone_f64_clone
std::clone::extern_spec_T_Clone__ref_T_clone
std::clone::extern_spec_std_clone_Clone_clone
std::cmp::extern_spec_Ord_i128_cmp
std::cmp::extern_spec_Ord_i16_cmp
std::cmp::extern_spec_Ord_i32_cmp
std::cmp::extern_spec_Ord_i64_cmp
std::cmp::extern_spec_Ord_i8_cmp
std::cmp::extern_spec_Ord_isize_cmp
std::cmp::extern_spec_Ord_u128_cmp
std::cmp::extern_spec_Ord_u16_cmp
std::cmp::extern_spec_Ord_u32_cmp
std::cmp::extern_spec_Ord_u64_cmp
std::cmp::extern_spec_Ord_u8_cmp
std::cmp::extern_spec_Ord_usize_cmp
std::cmp::extern_spec_PartialEq_i128_i128_eq
std::cmp::extern_spec_PartialEq_i128_i128_ne
std::cmp::extern_spec_PartialEq_i16_i16_eq
std::cmp::extern_spec_PartialEq_i16_i16_ne
std::cmp::extern_spec_PartialEq_i32_i32_eq
std::cmp::extern_spec_PartialEq_i32_i32_ne
std::cmp::extern_spec_PartialEq_i64_i64_eq
std::cmp::extern_spec_PartialEq_i64_i64_ne
std::cmp::extern_spec_PartialEq_i8_i8_eq
std::cmp::extern_spec_PartialEq_i8_i8_ne
std::cmp::extern_spec_PartialEq_isize_isize_eq
std::cmp::extern_spec_PartialEq_isize_isize_ne
std::cmp::extern_spec_PartialEq_u128_u128_eq
std::cmp::extern_spec_PartialEq_u128_u128_ne
std::cmp::extern_spec_PartialEq_u16_u16_eq
std::cmp::extern_spec_PartialEq_u16_u16_ne
std::cmp::extern_spec_PartialEq_u32_u32_eq
std::cmp::extern_spec_PartialEq_u32_u32_ne
std::cmp::extern_spec_PartialEq_u64_u64_eq
std::cmp::extern_spec_PartialEq_u64_u64_ne
std::cmp::extern_spec_PartialEq_u8_u8_eq
std::cmp::extern_spec_PartialEq_u8_u8_ne
std::cmp::extern_spec_PartialEq_usize_usize_eq
std::cmp::extern_spec_PartialEq_usize_usize_ne
std::cmp::extern_spec_PartialOrd_i128_i128_ge
std::cmp::extern_spec_PartialOrd_i128_i128_gt
std::cmp::extern_spec_PartialOrd_i128_i128_le
std::cmp::extern_spec_PartialOrd_i128_i128_lt
std::cmp::extern_spec_PartialOrd_i128_i128_partial_cmp
std::cmp::extern_spec_PartialOrd_i16_i16_ge
std::cmp::extern_spec_PartialOrd_i16_i16_gt
std::cmp::extern_spec_PartialOrd_i16_i16_le
std::cmp::extern_spec_PartialOrd_i16_i16_lt
std::cmp::extern_spec_PartialOrd_i16_i16_partial_cmp
std::cmp::extern_spec_PartialOrd_i32_i32_ge
std::cmp::extern_spec_PartialOrd_i32_i32_gt
std::cmp::extern_spec_PartialOrd_i32_i32_le
std::cmp::extern_spec_PartialOrd_i32_i32_lt
std::cmp::extern_spec_PartialOrd_i32_i32_partial_cmp
std::cmp::extern_spec_PartialOrd_i64_i64_ge
std::cmp::extern_spec_PartialOrd_i64_i64_gt
std::cmp::extern_spec_PartialOrd_i64_i64_le
std::cmp::extern_spec_PartialOrd_i64_i64_lt
std::cmp::extern_spec_PartialOrd_i64_i64_partial_cmp
std::cmp::extern_spec_PartialOrd_i8_i8_ge
std::cmp::extern_spec_PartialOrd_i8_i8_gt
std::cmp::extern_spec_PartialOrd_i8_i8_le
std::cmp::extern_spec_PartialOrd_i8_i8_lt
std::cmp::extern_spec_PartialOrd_i8_i8_partial_cmp
std::cmp::extern_spec_PartialOrd_isize_isize_ge
std::cmp::extern_spec_PartialOrd_isize_isize_gt
std::cmp::extern_spec_PartialOrd_isize_isize_le
std::cmp::extern_spec_PartialOrd_isize_isize_lt
std::cmp::extern_spec_PartialOrd_isize_isize_partial_cmp
std::cmp::extern_spec_PartialOrd_u128_u128_ge
std::cmp::extern_spec_PartialOrd_u128_u128_gt
std::cmp::extern_spec_PartialOrd_u128_u128_le
std::cmp::extern_spec_PartialOrd_u128_u128_lt
std::cmp::extern_spec_PartialOrd_u128_u128_partial_cmp
std::cmp::extern_spec_PartialOrd_u16_u16_ge
std::cmp::extern_spec_PartialOrd_u16_u16_gt
std::cmp::extern_spec_PartialOrd_u16_u16_le
std::cmp::extern_spec_PartialOrd_u16_u16_lt
std::cmp::extern_spec_PartialOrd_u16_u16_partial_cmp
std::cmp::extern_spec_PartialOrd_u32_u32_ge
std::cmp::extern_spec_PartialOrd_u32_u32_gt
std::cmp::extern_spec_PartialOrd_u32_u32_le
std::cmp::extern_spec_PartialOrd_u32_u32_lt
std::cmp::extern_spec_PartialOrd_u32_u32_partial_cmp
std::cmp::extern_spec_PartialOrd_u64_u64_ge
std::cmp::extern_spec_PartialOrd_u64_u64_gt
std::cmp::extern_spec_PartialOrd_u64_u64_le
std::cmp::extern_spec_PartialOrd_u64_u64_lt
std::cmp::extern_spec_PartialOrd_u64_u64_partial_cmp
std::cmp::extern_spec_PartialOrd_u8_u8_ge
std::cmp::extern_spec_PartialOrd_u8_u8_gt
std::cmp::extern_spec_PartialOrd_u8_u8_le
std::cmp::extern_spec_PartialOrd_u8_u8_lt
std::cmp::extern_spec_PartialOrd_u8_u8_partial_cmp
std::cmp::extern_spec_PartialOrd_usize_usize_ge
std::cmp::extern_spec_PartialOrd_usize_usize_gt
std::cmp::extern_spec_PartialOrd_usize_usize_le
std::cmp::extern_spec_PartialOrd_usize_usize_lt
std::cmp::extern_spec_PartialOrd_usize_usize_partial_cmp
std::cmp::extern_spec_std_cmp_Ord_clamp
std::cmp::extern_spec_std_cmp_Ord_cmp
std::cmp::extern_spec_std_cmp_Ord_max
std::cmp::extern_spec_std_cmp_Ord_min
std::cmp::extern_spec_std_cmp_PartialEq_Rhs_eq
std::cmp::extern_spec_std_cmp_PartialEq_Rhs_ne
std::cmp::extern_spec_std_cmp_PartialOrd_Rhs_ge
std::cmp::extern_spec_std_cmp_PartialOrd_Rhs_gt
std::cmp::extern_spec_std_cmp_PartialOrd_Rhs_le
std::cmp::extern_spec_std_cmp_PartialOrd_Rhs_lt
std::cmp::extern_spec_std_cmp_PartialOrd_Rhs_partial_cmp
std::cmp::extern_spec_std_cmp_max
std::cmp::extern_spec_std_cmp_min
std::collections::hash_map::extern_spec_K_V_S_IntoIterator_HashMap_K_V_S_into_iter
std::collections::hash_map::extern_spec_K_V_S_IntoIterator__ref_HashMap_K_V_S_into_iter
std::collections::hash_map::extern_spec_K_V_S_IntoIterator__refmut_HashMap_K_V_S_into_iter
std::collections::hash_map::extern_spec_std_collections_hash_map_K_V_S_HashMap_K_V_S_iter
std::collections::hash_map::extern_spec_std_collections_hash_map_K_V_S_HashMap_K_V_S_iter_mut
std::collections::hash_set::extern_spec_T_S_IntoIterator_HashSet_T_S_into_iter
std::collections::hash_set::extern_spec_T_S_IntoIterator__ref_HashSet_T_S_into_iter
std::collections::hash_set::extern_spec_std_collections_hash_set_T_S_HashSet_T_S_contains
std::collections::hash_set::extern_spec_std_collections_hash_set_T_S_HashSet_T_S_difference
std::collections::hash_set::extern_spec_std_collections_hash_set_T_S_HashSet_T_S_intersection
std::collections::hash_set::extern_spec_std_collections_hash_set_T_S_HashSet_T_S_iter
std::collections::hash_set::set_produces
std::collections::hash_set::set_produces_trans
std::convert::extern_spec_T_From_T_T_from
std::convert::extern_spec_std_convert_From_T_from
std::default::extern_spec_Default_bool_default
std::default::extern_spec_std_default_Default_default
std::deque::extern_spec_T_A_IndexMut_usize_VecDeque_T_A_index_mut
std::deque::extern_spec_T_A_Index_usize_VecDeque_T_A_index
std::deque::extern_spec_T_A_IntoIterator__ref_VecDeque_T_A_into_iter
std::deque::extern_spec_std_collections_T_A_VecDeque_T_A_clear
std::deque::extern_spec_std_collections_T_A_VecDeque_T_A_is_empty
std::deque::extern_spec_std_collections_T_A_VecDeque_T_A_len
std::deque::extern_spec_std_collections_T_A_VecDeque_T_A_pop_back
std::deque::extern_spec_std_collections_T_A_VecDeque_T_A_pop_front
std::deque::extern_spec_std_collections_T_A_VecDeque_T_A_push_back
std::deque::extern_spec_std_collections_T_A_VecDeque_T_A_push_front
std::deque::extern_spec_std_collections_T_VecDeque_T_new
std::deque::extern_spec_std_collections_T_VecDeque_T_with_capacity
std::fmt::extern_spec_core_fmt_Arguments_new_const
std::fmt::extern_spec_core_fmt_Formatter_debug_struct_field1_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_struct_field2_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_struct_field3_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_struct_field4_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_struct_field5_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_struct_fields_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_tuple_field1_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_tuple_field2_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_tuple_field3_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_tuple_field4_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_tuple_field5_finish
std::fmt::extern_spec_core_fmt_Formatter_debug_tuple_fields_finish
std::fmt::extern_spec_core_fmt_Formatter_write_str
std::hint::extern_spec_std_hint_assert_unchecked
std::hint::extern_spec_std_hint_black_box
std::hint::extern_spec_std_hint_must_use
std::hint::extern_spec_std_hint_spin_loop
std::hint::extern_spec_std_hint_unreachable_unchecked
std::intrinsics::extern_spec_core_intrinsics_assume
std::intrinsics::extern_spec_core_intrinsics_ub_checks
std::intrinsics::extern_spec_core_intrinsics_unreachable
std::io::extern_spec_std_io__eprint
std::io::extern_spec_std_io__print
std::iter::extern_spec_I_IntoIterator_I_into_iter
std::iter::extern_spec_std_iter_DoubleEndedIterator_next_back
std::iter::extern_spec_std_iter_FromIterator_A_from_iter
std::iter::extern_spec_std_iter_Iterator_cloned
std::iter::extern_spec_std_iter_Iterator_collect
std::iter::extern_spec_std_iter_Iterator_copied
std::iter::extern_spec_std_iter_Iterator_enumerate
std::iter::extern_spec_std_iter_Iterator_filter
std::iter::extern_spec_std_iter_Iterator_filter_map
std::iter::extern_spec_std_iter_Iterator_fuse
std::iter::extern_spec_std_iter_Iterator_map
std::iter::extern_spec_std_iter_Iterator_next
std::iter::extern_spec_std_iter_Iterator_rev
std::iter::extern_spec_std_iter_Iterator_skip
std::iter::extern_spec_std_iter_Iterator_take
std::iter::extern_spec_std_iter_Iterator_zip
std::iter::extern_spec_std_iter_empty
std::iter::extern_spec_std_iter_once
std::iter::extern_spec_std_iter_repeat
std::mem::align_of_logic
std::mem::extern_spec_std_mem_align_of
std::mem::extern_spec_std_mem_drop
std::mem::extern_spec_std_mem_forget
std::mem::extern_spec_std_mem_replace
std::mem::extern_spec_std_mem_size_of
std::mem::extern_spec_std_mem_size_of_val
std::mem::extern_spec_std_mem_swap
std::mem::extern_spec_std_mem_take
std::mem::size_of_logic
std::mem::size_of_val_logic
std::num::extern_spec_Clone_i128_clone
std::num::extern_spec_Clone_i16_clone
std::num::extern_spec_Clone_i32_clone
std::num::extern_spec_Clone_i64_clone
std::num::extern_spec_Clone_i8_clone
std::num::extern_spec_Clone_isize_clone
std::num::extern_spec_Clone_u128_clone
std::num::extern_spec_Clone_u16_clone
std::num::extern_spec_Clone_u32_clone
std::num::extern_spec_Clone_u64_clone
std::num::extern_spec_Clone_u8_clone
std::num::extern_spec_Clone_usize_clone
std::num::extern_spec_Default_i128_default
std::num::extern_spec_Default_i16_default
std::num::extern_spec_Default_i32_default
std::num::extern_spec_Default_i64_default
std::num::extern_spec_Default_i8_default
std::num::extern_spec_Default_isize_default
std::num::extern_spec_Default_u128_default
std::num::extern_spec_Default_u16_default
std::num::extern_spec_Default_u32_default
std::num::extern_spec_Default_u64_default
std::num::extern_spec_Default_u8_default
std::num::extern_spec_Default_usize_default
std::num::extern_spec_i128_abs_diff
std::num::extern_spec_i128_checked_add
std::num::extern_spec_i128_checked_div
std::num::extern_spec_i128_checked_mul
std::num::extern_spec_i128_checked_sub
std::num::extern_spec_i128_overflowing_add
std::num::extern_spec_i128_overflowing_div
std::num::extern_spec_i128_overflowing_mul
std::num::extern_spec_i128_overflowing_sub
std::num::extern_spec_i128_saturating_add
std::num::extern_spec_i128_saturating_div
std::num::extern_spec_i128_saturating_mul
std::num::extern_spec_i128_saturating_sub
std::num::extern_spec_i128_unchecked_add
std::num::extern_spec_i128_unchecked_mul
std::num::extern_spec_i128_unchecked_sub
std::num::extern_spec_i128_wrapping_add
std::num::extern_spec_i128_wrapping_div
std::num::extern_spec_i128_wrapping_mul
std::num::extern_spec_i128_wrapping_neg
std::num::extern_spec_i128_wrapping_sub
std::num::extern_spec_i16_abs_diff
std::num::extern_spec_i16_checked_add
std::num::extern_spec_i16_checked_div
std::num::extern_spec_i16_checked_mul
std::num::extern_spec_i16_checked_sub
std::num::extern_spec_i16_overflowing_add
std::num::extern_spec_i16_overflowing_div
std::num::extern_spec_i16_overflowing_mul
std::num::extern_spec_i16_overflowing_sub
std::num::extern_spec_i16_saturating_add
std::num::extern_spec_i16_saturating_div
std::num::extern_spec_i16_saturating_mul
std::num::extern_spec_i16_saturating_sub
std::num::extern_spec_i16_unchecked_add
std::num::extern_spec_i16_unchecked_mul
std::num::extern_spec_i16_unchecked_sub
std::num::extern_spec_i16_wrapping_add
std::num::extern_spec_i16_wrapping_div
std::num::extern_spec_i16_wrapping_mul
std::num::extern_spec_i16_wrapping_neg
std::num::extern_spec_i16_wrapping_sub
std::num::extern_spec_i32_abs_diff
std::num::extern_spec_i32_checked_add
std::num::extern_spec_i32_checked_div
std::num::extern_spec_i32_checked_mul
std::num::extern_spec_i32_checked_sub
std::num::extern_spec_i32_overflowing_add
std::num::extern_spec_i32_overflowing_div
std::num::extern_spec_i32_overflowing_mul
std::num::extern_spec_i32_overflowing_sub
std::num::extern_spec_i32_saturating_add
std::num::extern_spec_i32_saturating_div
std::num::extern_spec_i32_saturating_mul
std::num::extern_spec_i32_saturating_sub
std::num::extern_spec_i32_unchecked_add
std::num::extern_spec_i32_unchecked_mul
std::num::extern_spec_i32_unchecked_sub
std::num::extern_spec_i32_wrapping_add
std::num::extern_spec_i32_wrapping_div
std::num::extern_spec_i32_wrapping_mul
std::num::extern_spec_i32_wrapping_neg
std::num::extern_spec_i32_wrapping_sub
std::num::extern_spec_i64_abs_diff
std::num::extern_spec_i64_checked_add
std::num::extern_spec_i64_checked_div
std::num::extern_spec_i64_checked_mul
std::num::extern_spec_i64_checked_sub
std::num::extern_spec_i64_overflowing_add
std::num::extern_spec_i64_overflowing_div
std::num::extern_spec_i64_overflowing_mul
std::num::extern_spec_i64_overflowing_sub
std::num::extern_spec_i64_saturating_add
std::num::extern_spec_i64_saturating_div
std::num::extern_spec_i64_saturating_mul
std::num::extern_spec_i64_saturating_sub
std::num::extern_spec_i64_unchecked_add
std::num::extern_spec_i64_unchecked_mul
std::num::extern_spec_i64_unchecked_sub
std::num::extern_spec_i64_wrapping_add
std::num::extern_spec_i64_wrapping_div
std::num::extern_spec_i64_wrapping_mul
std::num::extern_spec_i64_wrapping_neg
std::num::extern_spec_i64_wrapping_sub
std::num::extern_spec_i8_abs_diff
std::num::extern_spec_i8_checked_add
std::num::extern_spec_i8_checked_div
std::num::extern_spec_i8_checked_mul
std::num::extern_spec_i8_checked_sub
std::num::extern_spec_i8_overflowing_add
std::num::extern_spec_i8_overflowing_div
std::num::extern_spec_i8_overflowing_mul
std::num::extern_spec_i8_overflowing_sub
std::num::extern_spec_i8_saturating_add
std::num::extern_spec_i8_saturating_div
std::num::extern_spec_i8_saturating_mul
std::num::extern_spec_i8_saturating_sub
std::num::extern_spec_i8_unchecked_add
std::num::extern_spec_i8_unchecked_mul
std::num::extern_spec_i8_unchecked_sub
std::num::extern_spec_i8_wrapping_add
std::num::extern_spec_i8_wrapping_div
std::num::extern_spec_i8_wrapping_mul
std::num::extern_spec_i8_wrapping_neg
std::num::extern_spec_i8_wrapping_sub
std::num::extern_spec_isize_abs_diff
std::num::extern_spec_isize_checked_add
std::num::extern_spec_isize_checked_div
std::num::extern_spec_isize_checked_mul
std::num::extern_spec_isize_checked_sub
std::num::extern_spec_isize_overflowing_add
std::num::extern_spec_isize_overflowing_div
std::num::extern_spec_isize_overflowing_mul
std::num::extern_spec_isize_overflowing_sub
std::num::extern_spec_isize_saturating_add
std::num::extern_spec_isize_saturating_div
std::num::extern_spec_isize_saturating_mul
std::num::extern_spec_isize_saturating_sub
std::num::extern_spec_isize_unchecked_add
std::num::extern_spec_isize_unchecked_mul
std::num::extern_spec_isize_unchecked_sub
std::num::extern_spec_isize_wrapping_add
std::num::extern_spec_isize_wrapping_div
std::num::extern_spec_isize_wrapping_mul
std::num::extern_spec_isize_wrapping_neg
std::num::extern_spec_isize_wrapping_sub
std::num::extern_spec_u128_abs_diff
std::num::extern_spec_u128_checked_add
std::num::extern_spec_u128_checked_div
std::num::extern_spec_u128_checked_mul
std::num::extern_spec_u128_checked_sub
std::num::extern_spec_u128_is_multiple_of
std::num::extern_spec_u128_is_power_of_two
std::num::extern_spec_u128_overflowing_add
std::num::extern_spec_u128_overflowing_div
std::num::extern_spec_u128_overflowing_mul
std::num::extern_spec_u128_overflowing_sub
std::num::extern_spec_u128_saturating_add
std::num::extern_spec_u128_saturating_div
std::num::extern_spec_u128_saturating_mul
std::num::extern_spec_u128_saturating_sub
std::num::extern_spec_u128_unchecked_add
std::num::extern_spec_u128_unchecked_mul
std::num::extern_spec_u128_unchecked_sub
std::num::extern_spec_u128_wrapping_add
std::num::extern_spec_u128_wrapping_div
std::num::extern_spec_u128_wrapping_mul
std::num::extern_spec_u128_wrapping_neg
std::num::extern_spec_u128_wrapping_sub
std::num::extern_spec_u16_abs_diff
std::num::extern_spec_u16_checked_add
std::num::extern_spec_u16_checked_div
std::num::extern_spec_u16_checked_mul
std::num::extern_spec_u16_checked_sub
std::num::extern_spec_u16_is_multiple_of
std::num::extern_spec_u16_is_power_of_two
std::num::extern_spec_u16_overflowing_add
std::num::extern_spec_u16_overflowing_div
std::num::extern_spec_u16_overflowing_mul
std::num::extern_spec_u16_overflowing_sub
std::num::extern_spec_u16_saturating_add
std::num::extern_spec_u16_saturating_div
std::num::extern_spec_u16_saturating_mul
std::num::extern_spec_u16_saturating_sub
std::num::extern_spec_u16_unchecked_add
std::num::extern_spec_u16_unchecked_mul
std::num::extern_spec_u16_unchecked_sub
std::num::extern_spec_u16_wrapping_add
std::num::extern_spec_u16_wrapping_div
std::num::extern_spec_u16_wrapping_mul
std::num::extern_spec_u16_wrapping_neg
std::num::extern_spec_u16_wrapping_sub
std::num::extern_spec_u32_abs_diff
std::num::extern_spec_u32_checked_add
std::num::extern_spec_u32_checked_div
std::num::extern_spec_u32_checked_mul
std::num::extern_spec_u32_checked_sub
std::num::extern_spec_u32_is_multiple_of
std::num::extern_spec_u32_is_power_of_two
std::num::extern_spec_u32_overflowing_add
std::num::extern_spec_u32_overflowing_div
std::num::extern_spec_u32_overflowing_mul
std::num::extern_spec_u32_overflowing_sub
std::num::extern_spec_u32_saturating_add
std::num::extern_spec_u32_saturating_div
std::num::extern_spec_u32_saturating_mul
std::num::extern_spec_u32_saturating_sub
std::num::extern_spec_u32_unchecked_add
std::num::extern_spec_u32_unchecked_mul
std::num::extern_spec_u32_unchecked_sub
std::num::extern_spec_u32_wrapping_add
std::num::extern_spec_u32_wrapping_div
std::num::extern_spec_u32_wrapping_mul
std::num::extern_spec_u32_wrapping_neg
std::num::extern_spec_u32_wrapping_sub
std::num::extern_spec_u64_abs_diff
std::num::extern_spec_u64_checked_add
std::num::extern_spec_u64_checked_div
std::num::extern_spec_u64_checked_mul
std::num::extern_spec_u64_checked_sub
std::num::extern_spec_u64_is_multiple_of
std::num::extern_spec_u64_is_power_of_two
std::num::extern_spec_u64_overflowing_add
std::num::extern_spec_u64_overflowing_div
std::num::extern_spec_u64_overflowing_mul
std::num::extern_spec_u64_overflowing_sub
std::num::extern_spec_u64_saturating_add
std::num::extern_spec_u64_saturating_div
std::num::extern_spec_u64_saturating_mul
std::num::extern_spec_u64_saturating_sub
std::num::extern_spec_u64_unchecked_add
std::num::extern_spec_u64_unchecked_mul
std::num::extern_spec_u64_unchecked_sub
std::num::extern_spec_u64_wrapping_add
std::num::extern_spec_u64_wrapping_div
std::num::extern_spec_u64_wrapping_mul
std::num::extern_spec_u64_wrapping_neg
std::num::extern_spec_u64_wrapping_sub
std::num::extern_spec_u8_abs_diff
std::num::extern_spec_u8_checked_add
std::num::extern_spec_u8_checked_div
std::num::extern_spec_u8_checked_mul
std::num::extern_spec_u8_checked_sub
std::num::extern_spec_u8_is_multiple_of
std::num::extern_spec_u8_is_power_of_two
std::num::extern_spec_u8_overflowing_add
std::num::extern_spec_u8_overflowing_div
std::num::extern_spec_u8_overflowing_mul
std::num::extern_spec_u8_overflowing_sub
std::num::extern_spec_u8_saturating_add
std::num::extern_spec_u8_saturating_div
std::num::extern_spec_u8_saturating_mul
std::num::extern_spec_u8_saturating_sub
std::num::extern_spec_u8_unchecked_add
std::num::extern_spec_u8_unchecked_mul
std::num::extern_spec_u8_unchecked_sub
std::num::extern_spec_u8_wrapping_add
std::num::extern_spec_u8_wrapping_div
std::num::extern_spec_u8_wrapping_mul
std::num::extern_spec_u8_wrapping_neg
std::num::extern_spec_u8_wrapping_sub
std::num::extern_spec_usize_abs_diff
std::num::extern_spec_usize_checked_add
std::num::extern_spec_usize_checked_div
std::num::extern_spec_usize_checked_mul
std::num::extern_spec_usize_checked_sub
std::num::extern_spec_usize_is_multiple_of
std::num::extern_spec_usize_is_power_of_two
std::num::extern_spec_usize_overflowing_add
std::num::extern_spec_usize_overflowing_div
std::num::extern_spec_usize_overflowing_mul
std::num::extern_spec_usize_overflowing_sub
std::num::extern_spec_usize_saturating_add
std::num::extern_spec_usize_saturating_div
std::num::extern_spec_usize_saturating_mul
std::num::extern_spec_usize_saturating_sub
std::num::extern_spec_usize_unchecked_add
std::num::extern_spec_usize_unchecked_mul
std::num::extern_spec_usize_unchecked_sub
std::num::extern_spec_usize_wrapping_add
std::num::extern_spec_usize_wrapping_div
std::num::extern_spec_usize_wrapping_mul
std::num::extern_spec_usize_wrapping_neg
std::num::extern_spec_usize_wrapping_sub
std::ops::between
std::ops::extern_spec_core_option_T_FromResidual_Option_Infallible_Option_T_from_residual
std::ops::extern_spec_core_option_T_Try_Option_T_branch
std::ops::extern_spec_core_option_T_Try_Option_T_from_output
std::ops::extern_spec_core_result_T_E_F_FromResidual_Result_Infallible_E_Result_T_F_from_residual
std::ops::extern_spec_core_result_T_E_Try_Result_T_E_branch
std::ops::extern_spec_core_result_T_E_Try_Result_T_E_from_output
std::ops::extern_spec_std_ops_DerefMut_deref_mut
std::ops::extern_spec_std_ops_Deref_deref
std::ops::extern_spec_std_ops_FnMut_Args_call_mut
std::ops::extern_spec_std_ops_FnOnce_Args_call_once
std::ops::extern_spec_std_ops_Fn_Args_call
std::ops::extern_spec_std_ops_Idx_RangeInclusive_Idx_end
std::ops::extern_spec_std_ops_Idx_RangeInclusive_Idx_is_empty
std::ops::extern_spec_std_ops_Idx_RangeInclusive_Idx_new
std::ops::extern_spec_std_ops_Idx_RangeInclusive_Idx_start
std::ops::extern_spec_std_ops_RangeBounds_T_contains
std::ops::extern_spec_std_ops_RangeBounds_T_end_bound
std::ops::extern_spec_std_ops_RangeBounds_T_is_empty
std::ops::extern_spec_std_ops_RangeBounds_T_start_bound
std::ops::lower_bound
std::ops::upper_bound
std::option::extern_spec_T_Clone_Option_T_clone
std::option::extern_spec_T_Default_Option_T_default
std::option::extern_spec_T_IntoIterator_Option_T_into_iter
std::option::extern_spec_T_IntoIterator__ref_Option_T_into_iter
std::option::extern_spec_T_IntoIterator__refmut_Option_T_into_iter
std::option::extern_spec_T_PartialEq_Option_T_eq
std::option::extern_spec_std_option_T_E_Option_Result_T_E_transpose
std::option::extern_spec_std_option_T_Option_Option_T_flatten
std::option::extern_spec_std_option_T_Option_T_and
std::option::extern_spec_std_option_T_Option_T_and_then
std::option::extern_spec_std_option_T_Option_T_as_mut
std::option::extern_spec_std_option_T_Option_T_as_mut_slice
std::option::extern_spec_std_option_T_Option_T_as_ref
std::option::extern_spec_std_option_T_Option_T_as_slice
std::option::extern_spec_std_option_T_Option_T_expect
std::option::extern_spec_std_option_T_Option_T_filter
std::option::extern_spec_std_option_T_Option_T_get_or_insert
std::option::extern_spec_std_option_T_Option_T_get_or_insert_with
std::option::extern_spec_std_option_T_Option_T_insert
std::option::extern_spec_std_option_T_Option_T_inspect
std::option::extern_spec_std_option_T_Option_T_is_none
std::option::extern_spec_std_option_T_Option_T_is_some
std::option::extern_spec_std_option_T_Option_T_is_some_and
std::option::extern_spec_std_option_T_Option_T_map
std::option::extern_spec_std_option_T_Option_T_map_or
std::option::extern_spec_std_option_T_Option_T_map_or_else
std::option::extern_spec_std_option_T_Option_T_ok_or
std::option::extern_spec_std_option_T_Option_T_ok_or_else
std::option::extern_spec_std_option_T_Option_T_or
std::option::extern_spec_std_option_T_Option_T_or_else
std::option::extern_spec_std_option_T_Option_T_replace
std::option::extern_spec_std_option_T_Option_T_take
std::option::extern_spec_std_option_T_Option_T_take_if
std::option::extern_spec_std_option_T_Option_T_unwrap
std::option::extern_spec_std_option_T_Option_T_unwrap_or
std::option::extern_spec_std_option_T_Option_T_unwrap_or_default
std::option::extern_spec_std_option_T_Option_T_unwrap_or_else
std::option::extern_spec_std_option_T_Option_T_unwrap_unchecked
std::option::extern_spec_std_option_T_Option_T_xor
std::option::extern_spec_std_option_T_Option_T_zip
std::option::extern_spec_std_option_T_Option__ref_T_cloned
std::option::extern_spec_std_option_T_Option__ref_T_copied
std::option::extern_spec_std_option_T_Option__refmut_T_cloned
std::option::extern_spec_std_option_T_Option__refmut_T_copied
std::option::extern_spec_std_option_T_U_Option__tuple2_T_U_unzip
std::panicking::extern_spec_core_panicking_assert_failed
std::panicking::extern_spec_core_panicking_panic
std::panicking::extern_spec_core_panicking_panic_display
std::panicking::extern_spec_core_panicking_panic_fmt
std::panicking::extern_spec_core_panicking_panic_nounwind
std::panicking::extern_spec_core_panicking_panic_nounwind_fmt
std::panicking::extern_spec_core_panicking_panic_nounwind_nobacktrace
std::panicking::extern_spec_core_panicking_unreachable_display
std::panicking::extern_spec_std_rt_begin_panic
std::ptr::extern_spec_T_Clone__ptrconst_T_clone
std::ptr::extern_spec_T_Clone__ptrmut_T_clone
std::ptr::extern_spec_T__ptrconst_T_addr
std::ptr::extern_spec_T__ptrconst_T_cast
std::ptr::extern_spec_T__ptrconst_T_is_aligned
std::ptr::extern_spec_T__ptrconst_T_is_aligned_to
std::ptr::extern_spec_T__ptrconst_T_is_null
std::ptr::extern_spec_T__ptrconst__slice_T_len
std::ptr::extern_spec_T__ptrmut_T_addr
std::ptr::extern_spec_T__ptrmut_T_cast
std::ptr::extern_spec_T__ptrmut_T_is_aligned
std::ptr::extern_spec_T__ptrmut_T_is_aligned_to
std::ptr::extern_spec_T__ptrmut_T_is_null
std::ptr::extern_spec_T__ptrmut__slice_T_len
std::ptr::extern_spec_std_ptr_addr_eq
std::ptr::extern_spec_std_ptr_metadata
std::ptr::extern_spec_std_ptr_null
std::ptr::extern_spec_std_ptr_null_mut
std::ptr::extern_spec_std_ptr_read_volatile
std::ptr::extern_spec_std_ptr_slice_from_raw_parts
std::ptr::extern_spec_std_ptr_slice_from_raw_parts_mut
std::ptr::is_aligned_logic
std::ptr::metadata_logic
std::ptr::metadata_matches
std::range::extern_spec_T_From_RangeFrom_T_legacy_RangeFrom_T_from
std::range::extern_spec_T_From_RangeInclusive_T_legacy_RangeInclusive_T_from
std::range::extern_spec_T_From_Range_T_legacy_Range_T_from
std::range::extern_spec_T_From_legacy_RangeFrom_T_RangeFrom_T_from
std::range::extern_spec_T_From_legacy_Range_T_Range_T_from
std::rc::extern_spec_T_A_Clone_Rc_T_A_clone
std::rc::extern_spec_T_A_Deref_Rc_T_A_deref
std::rc::extern_spec_std_rc_T_A_AsRef_Rc_T_A_as_ref
std::rc::extern_spec_std_rc_T_Rc_T_new
std::result::extern_spec_std_result_T_E_Result_Option_T_E_transpose
std::result::extern_spec_std_result_T_E_Result_T_E_and
std::result::extern_spec_std_result_T_E_Result_T_E_as_mut
std::result::extern_spec_std_result_T_E_Result_T_E_as_ref
std::result::extern_spec_std_result_T_E_Result_T_E_err
std::result::extern_spec_std_result_T_E_Result_T_E_expect
std::result::extern_spec_std_result_T_E_Result_T_E_is_err
std::result::extern_spec_std_result_T_E_Result_T_E_is_ok
std::result::extern_spec_std_result_T_E_Result_T_E_ok
std::result::extern_spec_std_result_T_E_Result_T_E_or
std::result::extern_spec_std_result_T_E_Result_T_E_unwrap
std::result::extern_spec_std_result_T_E_Result_T_E_unwrap_err
std::result::extern_spec_std_result_T_E_Result_T_E_unwrap_or
std::result::extern_spec_std_result_T_E_Result_T_E_unwrap_or_default
std::result::extern_spec_std_result_T_E_Result__ref_T_E_cloned
std::result::extern_spec_std_result_T_E_Result__ref_T_E_copied
std::result::extern_spec_std_result_T_E_Result__refmut_T_E_cloned
std::result::extern_spec_std_result_T_E_Result__refmut_T_E_copied
std::slice::extern_spec_T_A_Clone_Box__slice_T_A_clone
std::slice::extern_spec_T_Default__ref__slice_T_default
std::slice::extern_spec_T_Default__refmut__slice_T_default
std::slice::extern_spec_T_I_IndexMut_I__slice_T_index_mut
std::slice::extern_spec_T_I_Index_I__slice_T_index
std::slice::extern_spec_T_IntoIterator__ref__slice_T_into_iter
std::slice::extern_spec_T_IntoIterator__refmut__slice_T_into_iter
std::slice::extern_spec_T__slice_T_as_mut_ptr
std::slice::extern_spec_T__slice_T_as_ptr
std::slice::extern_spec_T__slice_T_binary_search
std::slice::extern_spec_T__slice_T_copy_from_slice
std::slice::extern_spec_T__slice_T_first
std::slice::extern_spec_T__slice_T_get
std::slice::extern_spec_T__slice_T_get_mut
std::slice::extern_spec_T__slice_T_get_unchecked
std::slice::extern_spec_T__slice_T_get_unchecked_mut
std::slice::extern_spec_T__slice_T_into_vec
std::slice::extern_spec_T__slice_T_iter
std::slice::extern_spec_T__slice_T_iter_mut
std::slice::extern_spec_T__slice_T_last
std::slice::extern_spec_T__slice_T_len
std::slice::extern_spec_T__slice_T_split_at_mut
std::slice::extern_spec_T__slice_T_split_first_mut
std::slice::extern_spec_T__slice_T_split_off_first_mut
std::slice::extern_spec_T__slice_T_swap
std::slice::extern_spec_std_slice_from_mut
std::slice::extern_spec_std_slice_from_ref
std::string::extern_spec_Clone_Box_str_clone
std::string::extern_spec_ToOwned_str_to_owned
std::string::extern_spec_std_string_Deref_String_deref
std::string::extern_spec_std_string_String_from_utf8_unchecked
std::string::extern_spec_std_string_String_len
std::string::extern_spec_str_len
std::string::extern_spec_str_split_at
std::string::injective_to_bytes
std::time::extern_spec_Add_Duration_Duration_add
std::time::extern_spec_Add_Duration_Instant_add
std::time::extern_spec_Sub_Duration_Duration_sub
std::time::extern_spec_Sub_Duration_Instant_sub
std::time::extern_spec_Sub_Instant_Instant_sub
std::time::extern_spec_std_time_Duration_as_micros
std::time::extern_spec_std_time_Duration_as_millis
std::time::extern_spec_std_time_Duration_as_nanos
std::time::extern_spec_std_time_Duration_as_secs
std::time::extern_spec_std_time_Duration_checked_add
std::time::extern_spec_std_time_Duration_checked_div
std::time::extern_spec_std_time_Duration_checked_mul
std::time::extern_spec_std_time_Duration_checked_sub
std::time::extern_spec_std_time_Duration_from_micros
std::time::extern_spec_std_time_Duration_from_millis
std::time::extern_spec_std_time_Duration_from_nanos
std::time::extern_spec_std_time_Duration_from_secs
std::time::extern_spec_std_time_Duration_is_zero
std::time::extern_spec_std_time_Duration_new
std::time::extern_spec_std_time_Duration_subsec_micros
std::time::extern_spec_std_time_Duration_subsec_millis
std::time::extern_spec_std_time_Duration_subsec_nanos
std::time::extern_spec_std_time_Instant_checked_add
std::time::extern_spec_std_time_Instant_checked_duration_since
std::time::extern_spec_std_time_Instant_checked_sub
std::time::extern_spec_std_time_Instant_duration_since
std::time::extern_spec_std_time_Instant_elapsed
std::time::extern_spec_std_time_Instant_now
std::time::extern_spec_std_time_Instant_saturating_duration_since
std::time::nanos_to_micros
std::time::nanos_to_millis
std::time::nanos_to_secs
std::time::secs_to_nanos
std::vec::extern_spec_T_A_Clone_Vec_T_A_clone
std::vec::extern_spec_T_A_IntoIterator_Vec_T_A_into_iter
std::vec::extern_spec_T_A_IntoIterator__ref_Vec_T_A_into_iter
std::vec::extern_spec_T_A_IntoIterator__refmut_Vec_T_A_into_iter
std::vec::extern_spec_T_Default_Vec_T_default
std::vec::extern_spec_std_vec_T_A_DerefMut_Vec_T_A_deref_mut
std::vec::extern_spec_std_vec_T_A_Deref_Vec_T_A_deref
std::vec::extern_spec_std_vec_T_A_Extend_T_Vec_T_A_extend
std::vec::extern_spec_std_vec_T_A_Vec_T_A_capacity
std::vec::extern_spec_std_vec_T_A_Vec_T_A_clear
std::vec::extern_spec_std_vec_T_A_Vec_T_A_insert
std::vec::extern_spec_std_vec_T_A_Vec_T_A_len
std::vec::extern_spec_std_vec_T_A_Vec_T_A_pop
std::vec::extern_spec_std_vec_T_A_Vec_T_A_push
std::vec::extern_spec_std_vec_T_A_Vec_T_A_remove
std::vec::extern_spec_std_vec_T_A_Vec_T_A_reserve
std::vec::extern_spec_std_vec_T_A_Vec_T_A_reserve_exact
std::vec::extern_spec_std_vec_T_A_Vec_T_A_shrink_to
std::vec::extern_spec_std_vec_T_A_Vec_T_A_shrink_to_fit
std::vec::extern_spec_std_vec_T_I_A_IndexMut_I_Vec_T_A_index_mut
std::vec::extern_spec_std_vec_T_I_A_Index_I_Vec_T_A_index
std::vec::extern_spec_std_vec_T_Vec_T_new
std::vec::extern_spec_std_vec_T_Vec_T_with_capacity
std::vec::extern_spec_std_vec_from_elem

Type Aliases

logic::ra::auth::Auth