package pratter
An extended Pratt parser
Install
Dune Dependency
Authors
Maintainers
Sources
pratter-1.2.tbz
sha256=9767478a4c9b1fc4e596a79d97032ba412aa1702449478fc52ef8508e9aaa897
sha512=a18cee025293ab0556a2e4c69689a63f1c97b8d980594c8e13bcf7b26a848066ef80863a3f3e3ab2899d98a0180d2e28e5780d481fa94a167b829636a2e8959d
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