Module LogtkFormula.S.TPTP

module TPTP: sig .. end

include LogtkInterfaces.PRINT
include LogtkInterfaces.PRINT_DE_BRUIJN