Project

General

Profile

Revision 8f1c7e91 src/types.ml

View differences:

src/types.ml
176 176 
 | Tstatic (d, _) -> Some d
177 177 
 | _              -> None
178 178 

  		




  
  179
  
    
let is_clock_type ty =


  		




  
  180
  
    
 match (repr ty).tdesc with


  		




  
  181
  
    
 | Tclock _ -> true


  		




  
  182
  
    
 | _        -> false


  		




  
  183
  
    

  		




  179
  184
  
    
let rec is_dimension_type ty =


  		




  180
  185
  
    
 match (repr ty).tdesc with


  		




  181
  186
  
    
 | Tint


  		












Also available in:  Unified diff