dolmen

A parser library for automated deduction
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.std
Module Dolmen_std . Tok
type descr = Dolmen_intf.Tok.descr = {
article : string;
kind : string;
lexeme : string;
hint : string option;
}
val descr : ?hint:string -> ?article:string -> kind:string -> string -> descr
val print : Stdlib.Format.formatter -> descr -> unit