Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/utils/dimension.mli
44 44
val rename: (ident -> ident) -> (ident -> ident) -> t -> t
45 45

  
46 46
val size_const: t -> int
47

  
48
val check_bound: Location.t -> t -> t
49
val check_access: Location.t -> t -> t -> t
50

  
51
val multi_product: Location.t -> t list -> t

Also available in: Unified diff