Up – Package index » doc » Library dolmen.std » Dolmen_std » Normalize » Tptp

Module `Normalize.Tptp`Source

Sourceval mapper : Term.t Term.mapper

A mapper suitable to normalize terms parsed from a tptp problem file.