Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val create_in : Lexing.lexbuf -> input
val read : input -> Tptp_ast.tptp_input option
val close_in : input -> unit
val write : Buffer.t -> Tptp_ast.tptp_input -> unit