1 (***********************************************************************)
5 (* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
7 (* Copyright 2006 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
13 type kind = Dinfo_call | Dinfo_raise
19 dinfo_char_start: int;
25 val to_string: t -> string
27 val from_location: kind -> Location.t -> t
29 val from_call: Lambda.lambda_event -> t
30 val from_raise: Lambda.lambda_event -> t