Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by Lélio Brun over 3 years ago

another step towards refactoring

View differences:

src/typing.mli
26 26 
val check_typedef_compat: top_decl list -> unit
27 27 

  		




  28
  28
  
    
val check_env_compat: top_decl list -> Types.t Env.t -> Types.t Env.t -> unit


  		




  
  29
  
    

  		




  
  30
  
    
val uneval_prog_generics: program_t -> unit


  		




  
  31
  
    

  		




  
  32
  
    
(* Equality on ground types only *)


  		




  
  33
  
    
(* Should be used between local variables which must have a ground type *)


  		




  
  34
  
    
val eq_ground: Types.t -> Types.t -> bool


  		












Also available in:  Unified diff