1 (***********************************************************************)
5 (* Damien Doligez, projet Moscova, INRIA Rocquencourt *)
7 (* Copyright 2003 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 (***********************************************************************)
15 val get_desc
: Instruct.debug_event
-> string;;