package pratter
An implementation of the Pratt parsing algorithm for first order terms
Install
Dune Dependency
Authors
Maintainers
Sources
pratter-1.0.tbz
sha256=bb6fd9b792a9a486c5096a7ba2e499dba5ae85f98b477fca9cf6802b44266cce
sha512=801778a8e61bf6af6c28fa5665247070b4db40e3d83d29d6e9b7f84d7dcce274d3736163df704bc664bd0ea412680debb6750142bbc54a878704f659da6e285c
doc/index.html
pratter
API
Library pratter
PratterThis 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