Function conv_func_decl

pub fn conv_func_decl(
    genv: GlobalEnv<'_, '_>,
    func: &SpecFunc<'_>,
) -> QueryResult<PolyFuncSort>