package dolmen
A parser library for automated deduction
Install
Dune Dependency
Authors
Maintainers
Sources
dolmen-0.8.tbz
sha256=3ee4b4b028b18ab0066cb4648fa14cd4d628a3afd79455f85fb796a9969ac80c
sha512=06d455f0221814dae44d9d8614cab7c1d4fb43a383e603a92ffc9cf4a753d42c5f2a0f3c5ae64aa6cf02da769c4666b130443ae2cf8fa0918c906d46e0caec9a
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