[ library(source_processor) | Reference Manual | Alphabetic Index ]
struct source_term(term, vars, annotated)
A source term with additional information
Fields
- term
- A term read from a source file (a clause, fact, etc)
- vars
- A list of the term's variables and their names information (or [] if the with_annotations option is in effect)
- annotated
- An annotated version of term with source and type information (only if with_annotations option given, otherwise uninstantiated)
See Also
readvar / 3, read_annotated / 2