package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Logtk_parsers.Parsing_utilsSource

Utils for Parsing in various Formats (High-Level Interface)

This module provides functions to parse a file and guess its syntax (from its extension) in a convenient way.

To parse a file file_name into a sequence of statements, the simplest way is:

  let fmt = guess_input file_name in
  parse_file fmt file_name
Sourcetype 'a or_error = ('a, string) CCResult.t
Sourceval parse_tptp : string -> Logtk.UntypedAST.statement Iter.t or_error

Parse the given file as TPTP

Sourceval parse_tip : string -> Logtk.UntypedAST.statement Iter.t or_error

Parse the given file as TIP

Sourceval guess_input : string -> Logtk.Input_format.t

Guess input from file extension

Sourceval input_of_file : string -> Logtk.Input_format.t

Choose input for this file based on Options.input and guess_input. This is the recommended way of picking the input format for a given file.

parse_file fmt file parses the file using the parser for the given input format.

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