Module `Trace`

type codeptr

type traced_function = {

path : Path.t;
closure : Stdlib.Obj.t;
actual_code : Trace.codeptr;
instrumented_fun : Trace.codeptr -> Stdlib.Obj.t -> Stdlib.Obj.t -> Stdlib.Obj.t;

}

val traced_functions : Trace.traced_function list Stdlib.ref

val is_traced : Stdlib.Obj.t -> Path.t option

val get_code_pointer : Stdlib.Obj.t -> Trace.codeptr

val set_code_pointer : Stdlib.Obj.t -> Trace.codeptr -> unit

val instrument_closure : 
  Env.t ->
  Longident.t ->
  Stdlib.Format.formatter ->
  Types.type_expr ->
  Trace.codeptr ->
  Stdlib.Obj.t ->
  Stdlib.Obj.t ->
  Stdlib.Obj.t

val print_trace : Stdlib.Obj.t -> Stdlib.Obj.t -> Stdlib.Obj.t

Module Trace

Module `Trace`