elpi.util
Util.Fork
elpi
elpi.lexer_config
elpi.parser
elpi.trace
trace_ppx
trace_ppx_runtime
type 'a local_ref = 'a ref
val new_local : 'a -> 'a local_ref
type process = {
exec : 'a 'b. ('a -> 'b) -> 'a -> 'b;
get : 'a. 'a local_ref -> 'a;
set : 'a. 'a local_ref -> 'a -> unit;
}
val fork : unit -> process