pub(crate) fn conv_qualifier(
genv: GlobalEnv<'_, '_>,
qualifier: &Qualifier<'_>,
wfckresults: &WfckResults,
) -> QueryResult<Qualifier>
pub(crate) fn conv_qualifier(
genv: GlobalEnv<'_, '_>,
qualifier: &Qualifier<'_>,
wfckresults: &WfckResults,
) -> QueryResult<Qualifier>