You can search for identifiers within the package.
in-package search v0.2.0
type t
The type of statements for iCNF.
val p_inccnf : ?loc:L.t -> unit -> t
header of an iCNF file.
val clause : ?loc:L.t -> T.t list -> t
Make a clause from a list of literals.
val assumption : ?loc:L.t -> T.t list -> t
Generate a solve instruction with the given list of assumptions.