package idds

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

BDDs form a boolean algebra.

Parameters

Signature

val declare_var : string -> [ `Ok | `Duplicate ]
type t = t
val fls : t
val tru : t
val of_bool : bool -> t
val var : string -> t
val (&&) : t -> t -> t
val (||) : t -> t -> t
val (!) : t -> t
val (==) : t -> t -> bool