Module Satsolutionparser

type token =
  1. | TResult
  2. | TValue
  3. | TSat
  4. | TUnsat
  5. | TString of string
  6. | TNumber of int
  7. | TEOL
val program : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Satsolutionparserhelper.parsedSolution