You can search for identifiers within the package.
in-package search v0.2.0
type t = MLBDD.man
type f = {
arity : int;
bdd : MLBDD.t;
}
val arity : t -> f -> int
val cneg : t -> bool -> f -> f
val (&!) : t -> f -> f -> f
val (|!) : t -> f -> f -> f
val (^!) : t -> f -> f -> f
val (=!) : t -> f -> f -> f
val (*!) : t -> f -> f -> f
val cst : t -> bool -> int -> f
val var : t -> bool -> int -> int -> f
val to_bool : t -> f -> bool option