package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `PI.Cond`Source

type t = Condition.t

val pretty : Format.formatter -> t -> unit

val all : t

val equal : t -> t -> bool

val empty : t

val is_empty : t -> bool

val inter : t -> t -> t

val (&&~) : t -> t -> t

val union : t -> t -> t

val (||~) : t -> t -> t

val disjoint : t -> t -> bool

val is_included : t -> t -> bool

val complement : t -> t

val var : unit -> t

val hash : t -> int