package logtk

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

Utils for TIP

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

val 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