module Exec_result : sig ... end
type t
=
{
execution_context : Execution_context.t;
exec : unit ‑> Exec_result.t;
}