Module tptp::common [−][src]
Expand description
common syntax across all dialects
Structs
Enums
Functions
one or more letters or digits
/* a comment block */
% a single-line comment
zero or more whitespace, comment_line, or comment_block
one or more lowercase letters
whitespace, comment_line, or comment_block
one or more uppercase letters
one or more spaces, tabs, carriage returns or line feeds