1signature Term_coeffs =
2sig
3  type int = Arbint.int
4
5  val negate_coeffs : (int * ('a * int) list) -> (int * ('a * int) list)
6  val merge_coeffs : (int * (string * int) list) ->
7                     (int * (string * int) list) ->
8                     (int * (string * int) list)
9  val lhs_coeffs : (int * ('a * int) list) -> (int * ('a * int) list)
10  val rhs_coeffs : (int * ('a * int) list) -> (int * ('a * int) list)
11  val diff_of_coeffs :
12         ((int * (string * int) list) * (int * (string * int) list)) ->
13         ((int * (string * int) list) * (int * (string * int) list))
14  val vars_of_coeffs : ('a * (''b * 'c) list) list -> ''b list
15  val var_of_prod : Term.term -> string
16  val coeffs_of_arith : Term.term -> (int * (string * int) list)
17  val coeffs_of_leq : Term.term -> (int * (string * int) list)
18  val coeffs_of_leq_set : Term.term -> (int * (string * int) list) list
19  val build_arith : int * (string * int) list -> Term.term
20  val build_leq : (int * (string * int) list) -> Term.term
21end
22