clingo_ast_theory_operator_definition Struct Reference

Public Attributes
clingo_location_t	location
char const *	name
unsigned	priority
clingo_ast_theory_operator_type_t	type

---

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

• clingo.h