tptp_typing.ml 24.9 KB