You can search for identifiers within the package.
in-package search v0.2.0
qbf
qbf.quantor
Quantor.Raw
type t
Encapsulated solver
val create : unit -> t
Allocate a new QBF solver
val sat : t -> Qbf.result
Current status of the solver
val scope : t -> Qbf.quantifier -> unit
Open a new scope with the given kind of quantifier
val add : t -> lit -> unit
Add a literal, or end the current clause/scope with 0
0
val deref : t -> lit -> Qbf.assignment
Obtain the value of this literal in the current model