Function hax_frontend_exporter::get_params_info

source ยท 
pub fn get_params_info<'tcx, S: BaseState<'tcx> + HasOwnerId>(
    s: &S,
    def_id: DefId,
) -> ParamsInfo
Expand description

Compute the parameters information for a definition. See ParamsInfo.