package links

  1. Overview
  2. Docs
type persistence =
  1. | Persistent
  2. | Intermittent
type 'v result =
  1. | Frame of 'v Frame.t
  2. | Trap of {
    1. env : 'v Env.t;
    2. name : Ir.var;
    3. persistence : persistence;
    }
val inspect : ('v result -> 'a -> 'a) -> 'v t -> 'a -> 'a