package tcs-lib

  1. Overview
  2. Docs

Module Tcsparitysolutionparser

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