Up – Package index » dedukti » Library dedukti.parsers » Parsers » Menhir_parser

Module `Parsers.Menhir_parser`Source

Sourcetype token = Tokens.token

Sourceexception Error

val line : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  Kernel.Basic.mident ->
  Entry.entry