links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Value . Trap
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;
}