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

Safe HaskellNone

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