bv_size_to_fixpoint

flux_infer::fixpoint_encoding

Function bv_size_to_fixpoint 

Source 
fn bv_size_to_fixpoint(size: BvSize) -> Sort