refine_default
flux_
middle
0.1.0
In flux_
middle::
rty::
refining
flux_middle
::
rty
::
refining
Function
refine_
default
Copy item path
Source
fn refine_default(bty:
BaseTy
) ->
SubsetTyCtor