Function conv_defn

pub(crate) fn conv_defn(
    genv: GlobalEnv<'_, '_>,
    func: &SpecFunc<'_>,
    wfckresults: &WfckResults,
) -> QueryResult<Option<Binder<Expr>>>