links

The Links Programming Language
IN THIS PACKAGE
type persistence =
| Persistent
| Intermittent
type 'v result =
| Frame of 'v Frame.t
| Trap of {
env : 'v Env.t;
name : Ir.var;
persistence : persistence;
}
val inspect : ( 'v result -> 'a -> 'a ) -> 'v t -> 'a -> 'a