Up  

Module Var.Cnstrnt


module Cnstrnt: sig  end
Variable constraints.

type t =
| Unconstrained
| Real of Dom.t
| Bitvector of int 

val mk_real : Dom.t -> t
Parameters:
? : Dom.t
 
val mk_bitvector : int -> t
Parameters:
n : int
 
val pp : t Pretty.printer
Parameters:
fmt : Format.formatter
?? : t
 
exception Empty
val sub : t -> t -> bool
Parameters:
c1 : t
c2 : t
 
val inter : t -> t -> t
Parameters:
c1 : t
c2 : t