Module Astral_internal.ThreeValuedLogic

type t =
  1. | True
  2. | False
  3. | Unknown
val compare : t -> t -> int
val equal : t -> t -> bool
val of_bool : bool -> t
val to_bool : bool -> t -> bool
val is_true : t -> bool
val is_false : t -> bool
val can_be_true : t -> bool
val not3 : t -> t
val and3 : t -> t -> t
val or3 : t -> t -> t
val exists : ('a -> t) -> 'a list -> t
module Self : sig ... end
include sig ... end
val show : Self.t -> string
val pp : Stdlib.Format.formatter -> Self.t -> unit
val print : ?prefix:string -> Self.t -> unit
val show_option : Self.t option -> string
val print_option : ?prefix:string -> Self.t option -> unit
val dump : string -> Self.t -> unit
val show_list : ?separator:string -> Self.t list -> string
val pp_list : Stdlib.Format.formatter -> Self.t list -> unit
val print_list : ?separator:string -> ?prefix:string -> Self.t list -> unit