Module OByteLib.Dbug

type 'a ident_data = {
ident : Symb.ident;
data : 'a;
previous : 'a ident_data option;
}
type 'a ident_tbl =
| Empty
| Node of 'a ident_tbl * 'a ident_data * 'a ident_tbl * int
type compilation_env = {
ce_stack : int ident_tbl;
ce_heap : int ident_tbl;
ce_rec : int ident_tbl;
}
type location_t = {
loc_start : Stdlib.Lexing.position;
loc_end : Stdlib.Lexing.position;
loc_ghost : bool;
}
type env_summary
type subst_t
type types_type_expr
type debug_event = {
mutable ev_pos : int;
ev_module : string;
ev_loc : location_t;
ev_kind : debug_event_kind;
ev_info : debug_event_info;
ev_typenv : env_summary;
ev_typsubst : subst_t;
ev_compenv : compilation_env;
ev_stacksize : int;
ev_repr : debug_event_repr;
}
and debug_event_kind =
| Event_before
| Event_after of types_type_expr
| Event_pseudo
and debug_event_info =
| Event_function
| Event_return of int
| Event_other
and debug_event_repr =
| Event_none
| Event_parent of int Stdlib.ref
| Event_child of int Stdlib.ref
type t = (int * debug_event list * string list) array
val empty : t
val print : Stdlib.out_channel -> t -> unit
val read : Index.t -> Stdlib.in_channel -> t
val write : Stdlib.out_channel -> t -> unit