Trace (ocaml.Trace)

type codeptr

type traced_function = {

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

}

val traced_functions : traced_function list ref

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

val get_code_pointer : Stdlib.Obj.t -> codeptr

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

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

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