Eliminate exception from dest_fun_ty
Eliminate exception from dest_fun_ty
Eliminate exception from dest_fun_ty
Eliminate exception from dest_fun_ty
Eliminate exception from dest_fun_ty
Eliminate exception from dest_fun_ty
Eliminate exception from dest_fun_ty
Merge branch 'removing-exceptions' of https://github.com/jack-pappas/NHol into removing-exceptions