(* Title: Resumption.thy Author: Andreas Lochbihler, ETH Zurich *) section ‹The resumption-error monad› theory Resumption imports Misc_CryptHOL Partial_Function_Set begin