package dedukti

You can search for identifiers within the package.

in-package search v0.2.0

An implementation of The Lambda-Pi Modulo Theory

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

D

dedukti-dev@inria.fr

Maintainers

D

dedukti-dev@inria.fr

Sources

v2.7.tar.gz

sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c

sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c

doc/dedukti.parsers/Parsers/Parser/index.html

Module `Parsers.Parser`Source

Sourcetype stream

Abstract parser stream representation.

Sourcetype input

Abstract type for input.

Sourceexception Parse_error of Kernel.Basic.loc * string

Sourceval input_from_file : string -> input

Sourceval input_from_stdin : Kernel.Basic.mident -> input

Sourceval input_from_string : Kernel.Basic.mident -> string -> input

Sourceval md_of_input : input -> Kernel.Basic.mident

Sourceval md_of_file : string -> Kernel.Basic.mident

Sourceval file_of_input : input -> string option

Sourceval close : input -> unit

Sourceval read : stream -> Entry.entry

read str reads a single entry from the parser stream str. When no more entry is available, the End_of_file exception is raised.

Sourceval from : input -> stream

from_channel in creates a parser stream for the environment env env given the input in.

Sourceval handle : input -> (Entry.entry -> unit) -> unit

handle in f parses the input in in the environment env, using the action f on each entry. Note that the input is parsed lazily. This function can thus be applied to stdin.

Sourceval parse : input -> Entry.entry list

parse in completely parses the input in and returns the corresponding list of entries.