Module Fact.Nonneg

module Nonneg: sig  end

val make : Term.t -> Jst.t -> t

val term_of : t -> Term.t

val pp : t Pretty.printer

val map : Jst.Eqtrans.t -> t -> t

val is_var : t -> bool

val is_pure : Th.t -> t -> bool

val status : t -> Term.status