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 = PSet.t PTbl.t

Sourceval create : int -> PSet.t array

Sourceval has : PSet.t array -> int -> bool

Sourceval check : PSet.t array -> PSet.elt -> int -> bool

Sourceval add : PSet.t array -> PSet.elt -> PSet.elt -> unit

Sourceval remove : PSet.t array -> PSet.elt -> PSet.elt -> unit

Sourceval iter : PSet.t array -> (PSet.elt -> PSet.elt -> unit) -> unit

Sourceval iter_on_packages : 'a array -> (int -> 'a -> unit) -> unit

Sourceval of_package : 'a array -> int -> 'a

Sourceval exists : PSet.t array -> (PSet.elt -> bool) -> int -> bool

Sourceval for_all : PSet.t array -> (PSet.elt -> bool) -> int -> bool