package dolmen
A parser library for automated deduction
Install
Dune Dependency
Authors
Maintainers
Sources
dolmen-0.9.tbz
sha256=003db53854bacc3a33fa55ed69cf79817c10369a4f7c6be944af1dcc36578a0a
sha512=3f8570f41c8c559c2907734efca98eecfc0f28ec3bce9dde500d5777a97391121a89ca66e7135d40b15161fe890d7b40fa53daba83eab0accf71fff136d45c74
doc/src/dolmen.line/dolmen_line.ml.html
Source file dolmen_line.ml
1 2 3 4 5 6 7 8 9(* This file is free software, part of dolmen. See file "LICENSE" for more information *) let rec consume ~newline ~sync lexbuf = match LexLine.token lexbuf with | LexLine.EOF -> sync lexbuf; () | LexLine.CHAR '\n' -> newline lexbuf; Lexing.new_line lexbuf | _ -> consume ~newline ~sync lexbuf