Project

General

Profile

Download (149 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends/backends.mli @ f1518c7c

1 
val setup : unit -> unit
2 

    		
  

  

    
      3
    
    
      
val is_functional : unit -> bool


    		
  

  

    
      4
    
    
      

    		
  

  

    
      5
    
    
      
val join_guards : bool ref


    		
  

  

    
      6
    
    
      

    		
  

  

    
      7
    
    
      
val get_normalization_params : unit -> Normalization.param_t


    		
  









  (2-2/2)