Documentation

toTPTP' :: forall a. ToTPTP a => a -> String Source

Convenient wrapper for toTPTP

class ToTPTP a whereSource

Methods

Convert to TPTP

Instances

ToTPTP V
ToTPTP AtomicWord
ToTPTP GTerm
ToTPTP GData
ToTPTP Role
ToTPTP UsefulInfo
ToTPTP Annotations
ToTPTP TPTP_Input
ToTPTP Quant
ToTPTP InfixPred
ToTPTP BinOp
ToTPTP [TPTP_Input]
ToTPTP a => ToTPTP (Identity a)
ToTPTP (T Identity)
ToTPTP (F Identity)
ToTPTP t => ToTPTP (Term0 t)
(ToTPTP f, ToTPTP t) => ToTPTP (Formula0 t f)