package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

md5=dedc2f58f2c2b59021f484abc6681d93

sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34

Sourcetype t = Disj.t list

Sourceval print : Cudf.universe -> Format.formatter -> PSet.t list -> unit

Sourceval of_disj : 'a -> 'a list

Sourceval lit : PSet.elt -> PSet.t list

Sourceval lit_disj : PSet.elt list -> PSet.t list

Sourceval implies1 : PSet.t list -> PSet.t -> bool

Sourceval implies : PSet.t list -> PSet.t list -> bool

Sourceval equiv : PSet.t list -> PSet.t list -> bool

Sourceval _true : 'a list

Sourceval conj1 : PSet.t list -> PSet.t -> PSet.t list

Sourceval conj : PSet.t list -> PSet.t list -> PSet.t list

Sourceval conjl : PSet.t list list -> PSet.t list

Sourceval _false : PSet.t list

Sourceval disj : PSet.t list -> PSet.t list -> PSet.t list

Sourceval disjl : PSet.t list list -> PSet.t list

Sourceval iter : 'a list -> ('a -> unit) -> unit

Sourceval fold : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b

Sourceval filter : ('a -> bool) -> 'a list -> 'a list

Sourceval exists : ('a -> bool) -> 'a list -> bool

Sourceval map : ('a -> 'b) -> 'a list -> 'b list

Sourceval normalize : PSet.t list -> PSet.t list