flux_
refineck
0.1.0
In flux_
refineck::
checker
Modules
errors
Structs
Checker
Inherited
RefineMode
ResolvedCall
ShapeMode
ShapeResult
SkipConstr
Enums
Guard
SubFn
Traits
Mode
Functions
all_predicates_of
bool_int_cast
bool_uint_cast
check_fn_subtyping
collect_params_in_clauses
find_trait_item
fold_local_ptrs
infer_under_mut_ref_hack
instantiate_args_for_constructor
instantiate_args_for_fun_call
int_bit_width
int_int_cast
is_indexed_mut_skipping_constr
marker_at_dominator
trait_impl_subtyping
uint_bit_width
uint_int_cast
uint_uint_cast
unfold_local_ptrs
Type Aliases
Result
flux_refineck
::
checker
Function
int_bit_width
Copy item path
Settings
Help
Summary
Source
fn int_bit_width(int_ty: IntTy) ->
u64