Project

General

Profile

Revision 9b0432bc lib/dimension.ml

View differences:

lib/dimension.ml
25 25
| Dlink of dim_expr
26 26
| Dvar
27 27
| Dunivar
28
[@@deriving show]
29

  
28 30

  
29 31
exception Unify of dim_expr * dim_expr
30 32
exception InvalidDimension

Also available in: Unified diff