links

The Links Programming Language
IN THIS PACKAGE
type v
type result
type 'v t
type 'v resumption
type trap_result = ( v, result ) Trap.result
val apply : env:v Env.t -> v t -> v -> result
val resume : env:v Env.t -> v t -> v resumption -> v list -> result
val trap : v t -> (CommonTypes.Name.t * v) -> trap_result