package pratter

You can search for identifiers within the package.

in-package search v0.2.0

An extended Pratt parser

Install

dune-project

Dependency

sha256=7dd9a7b970d3f660a957a54ae257ac2228f8203a133f8ceb7a73ce61f0663833

sha512=040a36c6d61761701d7f93d620f5a466caa0d578f6dfb0a93028fd8f693b4abef8b22c9b7695971e21ce347865dfc84f26cc032f1c4bfc070ee6e87cd9a72318

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

Sourcetype term

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

Sourcetype table

The table is used to store available operators.

Sourceval 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.

Sourceval make_appl : term -> term -> term

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