electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
Module Libelectrod . Scanner
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val main : string option -> Lexing.lexbuf -> Parser.token
val __ocaml_lex_main_rec : string option -> Lexing.lexbuf -> int -> Parser.token
val line_comment : string option -> Lexing.lexbuf -> Parser.token
val __ocaml_lex_line_comment_rec : string option -> Lexing.lexbuf -> int -> Parser.token
val comment : string option -> int -> Lexing.lexbuf -> Parser.token
val __ocaml_lex_comment_rec : string option -> int -> Lexing.lexbuf -> int -> Parser.token