sig
type aff_combination
val sum :
Affine_combinations.aff_combination ->
Affine_combinations.aff_combination ->
Affine_combinations.aff_combination
val mul_scal :
int ->
Affine_combinations.aff_combination ->
Affine_combinations.aff_combination
val div_scal :
Affine_combinations.aff_combination ->
int -> Affine_combinations.aff_combination option
val linearise :
(Pattern.id array list, int) Alg_expr.e Locality.annot ->
Affine_combinations.aff_combination
val of_int : int -> Affine_combinations.aff_combination
val necessarily_equal :
Affine_combinations.aff_combination ->
Affine_combinations.aff_combination -> bool
end