[ 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