(***********************************************************************)
(*                                                                     *)
(*                           Objective Caml                            *)
(*                                                                     *)
             , projet  , INRIA Rocquencourt         
(*                                                                     *)
   Copyright 2003 Institut National de Recherche en Informatique et   
   en Automatique .   All rights reserved .   This file is distributed    
   under the terms of the Q Public License version 1.0 .               
(*                                                                     *)
(***********************************************************************)

  $ I d : pos.mli 5966 2003 - 11 - 21 16:10:57Z doligez $

val get_desc : Instruct.debug_event -> string;;

*********************************************************************
                                                                     
                           Objective Caml                            
                                                                     
                                                                     
                                                                     
*********************************************************************
             , projet  , INRIA Rocquencourt         
   Copyright 2003 Institut National de Recherche en Informatique et   
   en Automatique .   All rights reserved .   This file is distributed    
   under the terms of the Q Public License version 1.0 .               

  $ I d : pos.mli 5966 2003 - 11 - 21 16:10:57Z doligez $

val get_desc : Instruct.debug_event -> string;;
