package logtk

  1. Overview
  2. Docs
On This Page
  1. Utils for ZF
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

Utils for ZF

type parse_cache

Cache that remembers the set of files that have been parsed so far

val create_parse_cache : unit -> parse_cache
type parser_res = (Logtk.UntypedAST.statement Iter.t, string) CCResult.t
type 'a parser_ = 'a -> parser_res
val parse_lexbuf : ?cache:parse_cache -> ?recursive:bool -> Stdlib.Lexing.lexbuf parser_

parse lexbuf.

  • parameter recursive

    if true, parse includes too, relative to current dir. Default true.

  • parameter cache

    parse cache to use if recursive = true

val parse_stdin : unit parser_

parse stdin. Does not expand includes.

val parse_file : ?cache:parse_cache -> ?recursive:bool -> string parser_

parse_file ~recursive file parses file

  • parameter recursive

    if true, recursively parse includes. Default true.

  • parameter cache

    parse cache to use if recursive = true

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct