package alt-ergo-parsers

  1. Overview
  2. Docs
val file : Stdlib.Lexing.lexbuf -> AltErgoLib.Parsed.file
val expr : Stdlib.Lexing.lexbuf -> AltErgoLib.Parsed.lexpr
val trigger : Stdlib.Lexing.lexbuf -> AltErgoLib.Parsed.lexpr list * bool
OCaml

Innovation. Community. Security.