logic-TPTP-0.2.0.3: Import, export etc. for TPTP, a syntax for first-order logic

Codec.TPTP.Pretty

Description

Mainly just Pretty instances

Synopsis

Documentation

data WithEnclosing a Source

Carries information about the enclosing operation (for the purpose of printing stuff without parentheses if possible).

Constructors

WithEnclosing Enclosing a