module Ast_tptp: sig .. end
sig
end
module type Id = sig .. end
module type Term = sig .. end
module type Statement = sig .. end