Project

General

Profile

« Previous | Next » 

Revision 49d364b8

Added by Pierre-Loïc Garoche about 4 years ago

comestic changes, removing useless logs

View differences:

src/global.ml
6 6 
let main_node = ref ""
7 7 

  		




  8
  8
  
    
module TypeEnv =


  		




  9
  
  
    
struct


  		




  10
  
  
    
let lookup_value ident = Env.lookup_value !type_env ident


  		




  11
  
  
    
let exists_value ident = Env.exists_value !type_env ident


  		




  12
  
  
    
let iter f = Env.iter !type_env f


  		




  13
  
  
    
let pp pp_fun fmt () = Env.pp_env pp_fun fmt !type_env


  		




  14
  
  
    
end


  		




  
  9
  
    
  struct


  		




  
  10
  
    
    let lookup_value ident = Env.lookup_value !type_env ident


  		




  
  11
  
    
    let exists_value ident = Env.exists_value !type_env ident


  		




  
  12
  
    
    let iter f = Env.iter !type_env f


  		




  
  13
  
    
    let pp pp_fun fmt () = Env.pp_env pp_fun fmt !type_env


  		




  
  14
  
    
  end


  		




  15
  15
  
    

  		




  16
  16
  
    
let initialize () =


  		




  17
  17
  
    
  begin


  		












Also available in:  Unified diff