Module Arith.Monomials.Pos


module Pos: sig  end
Iterators over positive monomials.

val is_empty : Term.t -> bool
Parameters:
? : Term.t
val exists : Arith.Monomials.pred -> Term.t -> bool
Parameters:
p : Arith.Monomials.pred
? : Term.t
val for_all : Arith.Monomials.pred -> Term.t -> bool
Parameters:
p : Arith.Monomials.pred
? : Term.t
val fold : (Mpa.Q.t -> Term.t -> 'a -> 'a) -> Term.t -> 'a -> 'a
Parameters:
f : Mpa.Q.t -> Term.t -> 'a -> 'a
? : Term.t
? : 'a
val iter : (Mpa.Q.t -> Term.t -> unit) -> Term.t -> unit
Parameters:
? : Mpa.Q.t -> Term.t -> unit
? : Term.t
val mem : Term.t -> Term.t -> bool
Parameters:
x : Term.t
? : Term.t
val variable_choose : (Mpa.Q.t -> Term.t -> bool) -> Term.t -> Term.t
Parameters:
p : Mpa.Q.t -> Term.t -> bool
? : Term.t
val variable_least_of : Term.t -> Term.t
Parameters:
? : Term.t
val coefficient_of : Term.t -> Term.t -> Mpa.Q.t
Parameters:
x : Term.t
? : Term.t