Codec.TPTP.Export

toTPTP'

class ToTPTP a

isLowerWord