package TCSLib

You can search for identifiers within the package.

in-package search v0.2.0

A multi-purpose library for OCaml.

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

Maintainers

O

opam-devel@lists.ocaml.org

Sources

v0.2.tar.gz

sha256=85ce1d51e3520a588eb71abe65521d2420f00a3456c3fa4f2e8f8be5a2d0e395

md5=71333662af6be2559532729ed7a88864

doc/TCSLib/Tcsautohelper/NMVPAFormatter/index.html

Module `Tcsautohelper.NMVPAFormatter`

val npvpa_to_string2 : 
  (int, int, int) Tcsautomata.NPVPA.t ->
  int Tcsbasedata.Iterators.iterator ->
  int Tcsautomata.NMVPA.nested Tcsbasedata.Iterators.iterator ->
  int Tcsbasedata.Iterators.iterator ->
  string

val nbvpa_to_string2 : 
  (int, int, int) Tcsautomata.NBVPA.t ->
  int Tcsbasedata.Iterators.iterator ->
  int Tcsautomata.NMVPA.nested Tcsbasedata.Iterators.iterator ->
  int Tcsbasedata.Iterators.iterator ->
  string