You can search for identifiers within the package.
in-package search v0.2.0
type var = int
type t
type man
type support
type !'a e =
| False
| True
| Not of 'a
| If of 'a * var * 'a
type !'a b =
| BFalse
| BTrue
| BIf of 'a * var * 'a
val clear : man -> unit
val init : ?cache:int -> unit -> man
val equal : t -> t -> bool
val dtrue : t
val dfalse : t
val is_true : t -> bool
val is_false : t -> bool
val id : t -> int
val hash : t -> int
val to_string : t -> string
val to_stringb : t -> string
val ithvar : man -> var -> t
val dnot : t -> t
val dand : man -> t -> t -> t
val dor : man -> t -> t -> t
val nand : man -> t -> t -> t
val imply : man -> t -> t -> t
val eq : man -> t -> t -> t
val nxor : man -> t -> t -> t
val xor : man -> t -> t -> t
val ite : man -> t -> var -> t -> t
val cofactor : man -> var -> t -> t * t
val support : man -> t -> support
val string_of_support : support -> string
val list_of_support : support -> var list
val support_of_list : var list -> support
val exists_sorted : man -> var list -> t -> t
val forall_sorted : man -> int list -> t -> t
val exists : man -> var list -> t -> t
val forall : man -> var list -> t -> t
val sat : t -> (bool * var) list option
val itersat : man -> ((bool * var) list -> unit) -> t -> unit
val allsat : man -> t -> (bool * var) list list
val iterprime : man -> ((bool * var) list -> unit) -> t -> unit
val allprime : man -> t -> (bool * var) list list
val prime : man -> t -> (bool * var) list option
val inspect : t -> t e
val inspectb : t -> t b
val fold : man -> ('a e -> 'a) -> t -> 'a
val foldb : man -> ('a b -> 'a) -> t -> 'a
val permute : man -> var array -> t -> t
val permutef : man -> (var -> var) -> t -> t