module Sign: sig end
type t =
| |
F |
| |
Zero |
| |
Pos |
| |
Neg |
| |
Nonneg |
| |
Nonpos |
| |
T |
val eq : 'a -> 'a -> bool
val of_q : Mpa.Q.t -> t
val inter : t -> t -> t
val complement : t -> t
val sub : t -> t -> bool
val disjoint : t -> t -> bool
val mem : Mpa.Q.t -> t -> bool
val complementable : t -> bool
val pp : Format.formatter -> t -> unit
| Parameters: |
|
fmt |
: |
Format.formatter
|
|
?? |
: |
t
|
|
val num : Mpa.Q.t -> t
val add : t -> t -> t
val addl : t list -> t
val multq : Mpa.Q.t -> t -> t
val mult : t -> t -> t
val multl : t list -> t
val inv : t -> t
val expt : int -> t -> t
val div : t -> t -> t
val of_term : (Term.t -> t) -> Term.t -> t
val of_term : (Term.t -> t) -> Term.t -> t
val inter : t -> t -> t