const_to_fixpoint
flux_
infer
0.1.0
In flux_
infer::
fixpoint_
encoding
flux_infer
::
fixpoint_encoding
Function
const_
to_
fixpoint
Copy item path
Source
fn const_to_fixpoint(cst:
Constant
) ->
Expr