dolmen

A parser library for automated deduction
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.std
module Make (Loc : Loc.S) (Ty : sig ... end) (Lex : Dolmen_intf.Lex.S with type token := Ty.token) (Parse : Dolmen_intf.Parse.S with type token := Ty.token and type statement := Ty.statement) : sig ... end