clingo_ast_theory_term_definition Struct Reference

Public Attributes
clingo_location_t	location
char const *	name
clingo_ast_theory_operator_definition_t const *	operators
size_t	size

---

The documentation for this struct was generated from the following file:

• clingo.h