SPUR
latest
Contents:
Library API
SPUR
Docs
»
Library API
»
Function NOT_A_CLAUSE
Edit on GitHub
Function NOT_A_CLAUSE
¶
Defined in
File primitive_types.h
Function Documentation
¶
static const ClauseIndex NOT_A_CLAUSE(0)