package polka

  1. Overview
  2. Docs
type token =
  1. | TK_EOF
  2. | TK_VERTEX
  3. | TK_RAY
  4. | TK_LINE
  5. | TK_FOIS
  6. | TK_PLUS
  7. | TK_MOINS
  8. | TK_DIV
  9. | TK_SUPEG
  10. | TK_INFEG
  11. | TK_SUP
  12. | TK_INF
  13. | TK_EG
  14. | TK_NUM of Big_int.big_int
  15. | TK_VAR of string
val constrain : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Polka.cons * (Big_int.big_int * Big_int.big_int * string) list
val frame : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Polka.gen * (Big_int.big_int * Big_int.big_int * string) list
val expression : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (Big_int.big_int * Big_int.big_int * string) list