package pratter

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Types and utilities on terms that are to be Pratt parsed.

type term

The main type of terms, that contains symbols, applications, binary and unary operators.

type table

The table is used to store available operators.

val get : table -> term -> (operator * priority) option

get tbl t returns None if t is not an operator according to table tbl, and it returns the properties of the operator otherwise.

val make_appl : term -> term -> term

make_appl t u returns the application of t to u, sometimes noted @(t, u), or just t u.