You can search for identifiers within the package.
in-package search v0.2.0
idds
Idds
module Bdd : sig ... end
Reduced Ordered Binary Decision Diagrams (BDDs).
module Boolean : sig ... end
module Dd : sig ... end
Decision Diagrams (DDs).
module Idd : sig ... end
Identity Suppressed Decision Diagrams (IDDs).
module Var : sig ... end
Boolean variable on which a DD can branch. Morally just an integer, but kept abstract for safety.