package elpi

  1. Overview
  2. Docs
type 'a local_ref = 'a ref
val new_local : 'a -> 'a local_ref
type process = {
  1. exec : 'a 'b. ('a -> 'b) -> 'a -> 'b;
  2. get : 'a. 'a local_ref -> 'a;
  3. set : 'a. 'a local_ref -> 'a -> unit;
}
val fork : unit -> process