links

The Links Programming Language
IN THIS PACKAGE
Module type Links_core . Value . CONTINUATION
type 'v t
and 'v resumption
module Frame : FRAME
module Handler : sig ... end
val empty : 'v t
val (<>) : 'v t -> 'v t -> 'v t
val (&>) : 'v Frame.t -> 'v t -> 'v t
val set_trap_point : handler:'v Handler.t -> 'v t -> 'v t
module Evaluation (E : sig ... end) : sig ... end
val to_string : 'v t -> string
module Inspection : sig ... end