(***********************************************************************)
(*                                                                     *)
(*                           Objective Caml                            *)
(*                                                                     *)
             , projet Cristal , INRIA Rocquencourt        
           Objective Caml port by   and   
(*                                                                     *)
   Copyright 1996 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 : envaux.mli 2908 2000 - 03 - 06 22:12:09Z weis $

open Format

(* Convert environment summaries to environments *)

val env_of_event: Instruct.debug_event option -> Env.t

(* Empty the environment caches. To be called when load_path changes. *)

val reset_cache: unit -> unit

(* Error report *)

type error =
    Module_not_found of Path.t

exception Error of error

val report_error: formatter -> error -> unit

*********************************************************************
                                                                     
                           Objective Caml                            
                                                                     
                                                                     
                                                                     
*********************************************************************
 Convert environment summaries to environments 
 Empty the environment caches. To be called when load_path changes. 
 Error report 
             , projet Cristal , INRIA Rocquencourt        
           Objective Caml port by   and   
   Copyright 1996 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 : envaux.mli 2908 2000 - 03 - 06 22:12:09Z weis $

open Format


val env_of_event: Instruct.debug_event option -> Env.t


val reset_cache: unit -> unit


type error =
    Module_not_found of Path.t

exception Error of error

val report_error: formatter -> error -> unit
