package codex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `MTBDD.With_Set`Source

module TerminalSet : sig ... end

Sourceval add : t -> Bed.BDD.bdd -> Maybe_Lattice.t -> t

Sourceval update : t -> Bed.BDD.bdd -> (Maybe_Lattice.t -> Maybe_Lattice.t) -> t

Sourceval find : t -> Bed.BDD.bdd -> TerminalSet.t