Module FOTerm.TPTP

module TPTP: sig .. end

include Interfaces.PRINT

include Interfaces.PRINT_DE_BRUIJN