dolmen_type

A typechecker for automated deduction languages
IN THIS PACKAGE
Parameter #2 Dolmen_type . Core . Dimacs . Tff . T
type t = Type.T.t

The type of terms

val neg : t -> t

Logical negation.