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