Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
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
another step towards refactoring