Module ops 

Traits

FnExt

FnExt is an extension trait for the Fn trait, used for adding a specification to closures. It should not be used directly.

FnMutExt

FnMutExt is an extension trait for the FnMut trait, used for adding a specification to closures. It should not be used directly.

FnOnceExt

FnOnceExt is an extension trait for the FnOnce trait, used for adding a specification to closures. It should not be used directly.

RangeBounds

Methods for the specification of std::ops::RangeBounds.

RangeInclusiveExt

Functions

between

Membership to an interval (Bound<T>, Bound<T>).

extern_spec_core_option_T_FromResidual_Option_Infallible_Option_T_from_residual

extern spec for ::core::option::Option<T>::from_residual

extern_spec_core_option_T_Try_Option_T_branch

extern spec for ::core::option::Option<T>::branch

extern_spec_core_option_T_Try_Option_T_from_output

extern spec for ::core::option::Option<T>::from_output

extern_spec_core_result_T_E_F_FromResidual_Result_Infallible_E_Result_T_F_from_residual

extern spec for ::core::result::Result<T, F>::from_residual

extern_spec_core_result_T_E_Try_Result_T_E_branch

extern spec for ::core::result::Result<T, E>::branch

extern_spec_core_result_T_E_Try_Result_T_E_from_output

extern spec for ::core::result::Result<T, E>::from_output

extern_spec_std_ops_DerefMut_deref_mut

extern spec for ::std::ops::DerefMut::deref_mut

extern_spec_std_ops_Deref_deref

extern spec for ::std::ops::Deref::deref

extern_spec_std_ops_FnMut_Args_call_mut

extern spec for ::std::ops::FnMut::call_mut

extern_spec_std_ops_FnOnce_Args_call_once

extern spec for ::std::ops::FnOnce::call_once

extern_spec_std_ops_Fn_Args_call

extern spec for ::std::ops::Fn::call

extern_spec_std_ops_Idx_RangeInclusive_Idx_end

extern spec for ::std::ops::RangeInclusive<Idx>::end

extern_spec_std_ops_Idx_RangeInclusive_Idx_is_empty

extern spec for ::std::ops::RangeInclusive<Idx>::is_empty

extern_spec_std_ops_Idx_RangeInclusive_Idx_new

extern spec for ::std::ops::RangeInclusive<Idx>::new

extern_spec_std_ops_Idx_RangeInclusive_Idx_start

extern spec for ::std::ops::RangeInclusive<Idx>::start

extern_spec_std_ops_RangeBounds_T_contains

extern spec for ::std::ops::RangeBounds::contains<U>

extern_spec_std_ops_RangeBounds_T_end_bound

extern spec for ::std::ops::RangeBounds::end_bound

extern_spec_std_ops_RangeBounds_T_is_empty

extern spec for ::std::ops::RangeBounds::is_empty

extern_spec_std_ops_RangeBounds_T_start_bound

extern spec for ::std::ops::RangeBounds::start_bound

lower_bound

Comparison with a lower bound.

upper_bound

Comparison with an upper bound.