cprover

json-symtab-language → langapi Relation

File in json-symtab-languageIncludes file in langapi
json_symtab_language.hlanguage.h