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