package obytelib

You can search for identifiers within the package.

in-package search v0.2.0

package obytelib

obytelib
- OByteLib
  - Bytefile
  - Cmofile
  - Code
  - Crcs
  - Data
  - Dbug
  - Dlls
  - Dlpt
  - Extra
  - Index
  - Instr
  - Interp
  - Normalised_code
  - Normalised_instr
  - Normalised_interp
  - Prim
  - Section
  - Symb
  - Value
  - Version

Legend:
Library
Module
Module type
Parameter
Class
Class type

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 : Lexing.position;
loc_end : 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 ref
| Event_child of int ref

type t = (int * debug_event list * string list) array

val empty : t

val print : out_channel -> t -> unit

val read : Index.t -> in_channel -> t

val write : out_channel -> t -> unit