package links
type ('v, 'r) result = | Trap of unit -> 'r| SessionTrap of ('v, 'r) session_result| UnhandledSessionException of Ir.computation list
and ('v, 'r) session_result = {handle_env : 'v Env.t;frames : Ir.computation list;continuation_thunk : unit -> 'r;
}