(module Ast_tptp)