package tdk

  1. Overview
  2. Docs
The Decision Kit is a collection of data structures that are useful

Install 

dune-project
 Dependency

frenetic-lang.org Edit opam file Versions (2)

Authors

  1. S
    Spiros Eliopoulos <seliopou@gmail.com>

Maintainers

  1. S
    Spiros Eliopoulos <seliopou@gmail.com>

Sources

0.2.0
sha256=c8020827bd27e94da2cefcb20e0a8cebc51b28a807216c6eaa9ffa17f59aa680
md5=38668a5eafcdf966ac1adaedfdfc59e5

doc/tdk/Tdk/index.html

Module Tdk

module Bdd = Bdd
module S = S
module Vcr = Vcr
module Vlr = Vlr