Parameter Make.B

module Scalar : Sig.BASE

type boolean

val compare : boolean -> boolean -> int

val pretty : Stdlib.Format.formatter -> boolean -> unit

val not : Scalar.Context.t -> boolean -> boolean

val query_boolean : Scalar.Context.t -> boolean -> Domains.Sig.Quadrivalent.t

val assume : Scalar.Context.t -> boolean -> Scalar.Context.t option

val boolean_empty : Scalar.Context.t -> boolean

val boolean_unknown : Scalar.Context.t -> boolean

val satisfiable : Scalar.Context.t -> boolean -> Smtbackend.Smtlib_sig.sat

val serialize_boolean : Scalar.Context.t -> boolean -> Scalar.Context.t -> boolean -> 'a Scalar.Context.in_acc -> (boolean, 'a) Scalar.Context.result