tptp_typing.ml 25.7 KB