flux_infer::fixpoint_encoding

Function const_to_fixpoint

Source 
fn const_to_fixpoint(cst: Constant) -> Expr