tip-parser

Parser for TIP (Tons of Inductive Problems)
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

tip-parser

Documentation:

Dependencies: bytes, result