Parameter Complete_Integer.B

val name : string
type integer
val truth_value : boolean -> Lattices.Quadrivalent.t
module Boolean_Lattice : sig ... end
module Integer_Lattice : sig ... end
val convert_to_quadrivalent : boolean -> Lattices.Quadrivalent.t
val convert_to_ival : integer -> Framac_ival.Ival.t
val is_singleton_int : integer -> Z.t option