package symkat

  1. Overview
  2. Docs
type token =
  1. | VAR of char
  2. | PRD of char
  3. | LPAR
  4. | RPAR
  5. | ONE
  6. | ZER
  7. | PLS
  8. | STR
  9. | NEG
  10. | EOF
  11. | SEP
  12. | LE
  13. | EQ
  14. | GT
val expr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Kat.expr
val hyps : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Hypotheses.t