module Indexes:Indexes.sig
..end
e.g. "i+1" in "P_i+1", also used for bounds as "1" and "n" in "/\i=1..n ..."
The only authorized expressions are the ones of the form "d.n+k" where:
type
t
val of_num : int -> t
val of_var : Variable.t -> t
val add : t -> int -> t
val get_var : t -> Variable.t option
val get_shift : t -> int
val to_string : t -> string
val to_tex : t -> string
val max : t -> t -> t
val min : t -> t -> t
val equal : t -> t -> bool
val total_compare : t -> t -> int
val compute_term : t -> int -> int
include Substitution.Substituable
module LoopingMap:Looping.LoopingMap
with type loopable = t
val inverse : t -> t