module T: sig .. end
sig
end
type ('a, 'execution_context) t = {
('a, 'execution_context)
execution_context : 'execution_context;
'execution_context
run : 'a -> unit;
'a -> unit