dolmen

A parser library for automated deduction
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.std
Module Dolmen_std . Pretty
type name =
| Exact of string
| Renamed of string
type pos =
| Infix
| Prefix
type assoc =
| Left
| Right