package links

  1. Overview
  2. Docs
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