Lines Matching defs:int
3 type int = Arbint.int
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)
12 ((int * (string * int) list) * (int * (string * int) list)) ->
13 ((int * (string * int) list) * (int * (string * int) list))
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