Up

module Trace

: sig
#
type codeptr
#
type traced_function = {
# path
: Path.t;
# closure
: Obj.t;
# actual_code
: codeptr;
# instrumented_fun
: codeptr -> Obj.t -> Obj.t -> Obj.t;
}
#
val traced_functions : traced_function list Pervasives.ref
#
val is_traced : Obj.t -> Path.t option
#
val get_code_pointer : Obj.t -> codeptr
#
val set_code_pointer : Obj.t -> codeptr -> unit
#
val instrument_closure : Env.t -> Longident.t -> Format.formatter -> Types.type_expr -> codeptr -> Obj.t -> Obj.t -> Obj.t
#
val print_trace : Obj.t -> Obj.t -> Obj.t
end