(**********************************************************************)
(*                                                                    *)
(*                           ReactiveML                               *)
(*                                               *)
(*                                                 *)
(*                                                                    *)
(*                          Louis Mandel                              *)
(*                                                                    *)
   Copyright 2002 , 2007   .   All rights reserved .          
(*  This file is distributed under the terms of the Q Public License  *)
   version 1.0 .                                                      
(*                                                                    *)
(*  ReactiveML has been done in the following labs:                   *)
   - theme SPI , Laboratoire d'Informatique de Paris 6 ( 2002 - 2005 )    
   - Verimag , CNRS Grenoble ( 2005 - 2006 )                              
   - projet  ,   ( 2006 - 2007 )                  
(*                                                                    *)
(**********************************************************************)

  file : 

open Def_types
open Global

(* Informations associated with module names *)

type module0 =
    { mod_name: string;                      (* name of the module *)
      mod_values: (string, value_type_description global) Hashtbl.t;
                                             (* table of values *)
      mod_constrs:
	(string, constructor_type_description global) Hashtbl.t;
                                             (* table of constructors *)
      mod_labels: (string, label_type_description global) Hashtbl.t;
                                             (* table of labels *)
      mod_types: (string, type_description global) Hashtbl.t;
                                             (* table of type constructors *)
    }

********************************************************************
                                                                    
                           ReactiveML                               
                                               
                                                 
                                                                    
                          Louis Mandel                              
                                                                    
  This file is distributed under the terms of the Q Public License  
                                                                    
  ReactiveML has been done in the following labs:                   
                                                                    
********************************************************************
 Informations associated with module names 
 name of the module 
 table of values 
 table of constructors 
 table of labels 
 table of type constructors 
   Copyright 2002 , 2007   .   All rights reserved .          
   version 1.0 .                                                      
   - theme SPI , Laboratoire d'Informatique de Paris 6 ( 2002 - 2005 )    
   - Verimag , CNRS Grenoble ( 2005 - 2006 )                              
   - projet  ,   ( 2006 - 2007 )                  

  file : 

open Def_types
open Global


type module0 =
      mod_values: (string, value_type_description global) Hashtbl.t;
      mod_constrs:
	(string, constructor_type_description global) Hashtbl.t;
      mod_labels: (string, label_type_description global) Hashtbl.t;
      mod_types: (string, type_description global) Hashtbl.t;
    }
