package pratter

You can search for identifiers within the package.

in-package search v0.2.0

An implementation of the Pratt parsing algorithm for first order terms

Install

dune-project

Dependency

sha256=bc66d56e1756caca42d4d324c0f2ebae9710615116258e660642694d841d4a16

sha512=9af84dea4efbce4d9c1cb11181487043b65d2b408247c221e4d6728d7c60f2a8f8d8605f968b989ed40c1506d4d6d7254b888038b633839674fa8f1bf3435e7b

Pratter This modules defines a functor whose image is a parser for terms with applications, binary and unary operators. These terms are specified in the argument of the functor.

On This Page