package logtk

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

Module Logtk_parsers.Util_tipSource

Utils for TIP

Sourcemodule A = Tip_ast
Sourcetype parser_res = (A.statement Iter.t, string) CCResult.t
Sourcetype 'a parser_ = 'a -> parser_res
Sourceval parse_lexbuf : 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

Sourceval parse_stdin : unit parser_

parse stdin. Does not expand includes.

Sourceval parse_file : 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

Translation to the native format, removing matching, if, etc.

Sourceval convert_seq : A.statement Iter.t -> Logtk.UntypedAST.statement Iter.t
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