[ 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