Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by Lélio Brun over 3 years ago

another step towards refactoring

View differences:

src/checks/access.ml
28 28 

  		




  29
  29
  
    
module ConstraintModule = struct


  		




  30
  30
  
    
  (* bool dimension module *)


  		




  31
  
  
    
  type t = Dimension.dim_expr


  		




  
  31
  
    
  type t = Dimension.t


  		




  32
  32
  
    

  		




  33
  
  
    
  let equal d1 d2 = Dimension.is_eq_dimension d1 d2


  		




  
  33
  
    
  let equal d1 d2 = Dimension.equal d1 d2


  		




  34
  34
  
    

  		




  35
  35
  
    
  let compare d1 d2 =


  		




  36
  36
  
    
    if equal d1 d2 then 0 else compare d1.Dimension.dim_id d2.Dimension.dim_id


  		












Also available in:  Unified diff