flux_infer::fixpoint_encoding

Function bv_size_to_fixpoint

Source 
fn bv_size_to_fixpoint(size: BvSize) -> Sort