package TCSLib

  1. Overview
  2. Docs
A multi-purpose library for OCaml.

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. O
    Oliver Friedmann
  2. M
    Martin Lange

Maintainers

  1. O
    opam-devel@lists.ocaml.org

Sources

v0.3.tar.gz
sha256=b894f4028d71c3cbaf466dd221faa6b09e563c1be92571e7a0fcbf59523b8e97
md5=b55c4bb13f694fc149c38ee91738d937

doc/TCSLib/Tcsparitysolutionparser/index.html

Module Tcsparitysolutionparser

type token =
  1. | INT of int
  2. | SEMICOLON
  3. | EOF
  4. | PARITYSOL
val sol : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> unit