Frama-C:
Plug-ins:
Libraries:

Frama-C API - Dim

type t = int
and change = {
  1. dim : int array;
  2. intdim : int;
  3. realdim : int;
}
and change2 = {
  1. add : change option;
  2. remove : change option;
}
and perm = int array
and dimension = {
  1. intd : int;
  2. reald : int;
}
val change_add_invert : change -> unit
val perm_compose : perm -> perm -> perm
val perm_invert : perm -> perm