dolmen

A parser library for automated deduction
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.tptp.v6_3_0
Module type Dolmen_tptp_v6_3_0 . Id
type t

The type of identifiers

type namespace

The type for namespaces.

val term : namespace

Usual namespace, used for temrs, types and propositions.

val decl : namespace

Names used to refer to tptp phrases. These are used in declarations and include statement.

val mk : namespace -> string -> t

Make an identifier