package lambdapi

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

Module ParsingSource

Sourcemodule DkBasic : sig ... end
Sourcemodule DkLexer : sig ... end
Sourcemodule DkParser : sig ... end
Sourcemodule DkRule : sig ... end
Sourcemodule DkTokens : sig ... end
Sourcemodule LpLexer : sig ... end
Sourcemodule LpParser : sig ... end
Sourcemodule Package : sig ... end

Package configuration file interface.

Sourcemodule Parser : sig ... end

Parsing functions for Lambdapi.

Sourcemodule Pratt : sig ... end

This module defines functions needed by the Pratt parser of the Pratter library.

Sourcemodule Pretty : sig ... end

Pretty-printing the parser-level AST.

Sourcemodule Scope : sig ... end

Scoping: transforms p_term's into term's.

Sourcemodule Syntax : sig ... end

Parser-level abstract syntax.