Module LogtkFormula.TERM.TPTP

module TPTP: sig .. end

include LogtkInterfaces.PRINT_DE_BRUIJN