Module Dim


module Dim: sig .. end
APRON Dimensions and related types

type t = int 

type change = {
   dim : int array;
   intdim : int;
   realdim : int;
}
type perm = int array 

type dimension = {
   intd : int;
   reald : int;
}
APRON Dimensions and related types