_:vb12148	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://yang.eurecom.fr/codeontology/TypeArgument> .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#comment>	"A special kind of `Class` representing a set of constants, immutable values."@en .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb13347 .
_:vb12154	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb12157 .
_:vb13348	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb13352 .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb13353 .
_:vb13352	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://yang.eurecom.fr/codeontology/Executable> .
_:vb12153	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasFullyQualifiedName> .
_:vb12158	<http://www.w3.org/2002/07/owl#qualifiedCardinality>	"1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
_:vb12151	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb12148	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb13353	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasFormalTypeParameter> .
_:vb12155	<http://www.w3.org/2002/07/owl#intersectionOf>	_:vb12154 .
_:vb13340	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/isArgumentTypeOf> .
_:vb12149	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb13349	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:vb13350 .
_:vb13342	<http://www.w3.org/2002/07/owl#intersectionOf>	_:vb13339 .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	<http://yang.eurecom.fr/codeontology/ComplexType> .
_:vb12153	<http://www.w3.org/2002/07/owl#qualifiedCardinality>	"1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
_:vb13343	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb13348	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://www.w3.org/2001/XMLSchema#string> .
_:vb13346	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:vb13348 .
_:vb12160	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb13340	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb12149	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasConstructor> .
_:vb12161	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb13344	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:vb13345 .
_:vb13341	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb12160	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://yang.eurecom.fr/codeontology/Executable> .
_:vb13340	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://yang.eurecom.fr/codeontology/TypeArgument> .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#label>	"Enum"@en .
_:vb12151	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasFullyQualifiedName> .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb12160 .
_:vb13345	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasFullyQualifiedName> .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb13340 .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb12161 .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb13341 .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb13342 .
_:vb13341	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://yang.eurecom.fr/codeontology/Constructor> .
_:vb12156	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://www.w3.org/2001/XMLSchema#string> .
_:vb12161	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://yang.eurecom.fr/codeontology/TypeVariable> .
_:vb13342	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb12160	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/isConstructedBy> .
_:vb13343	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://www.w3.org/2001/XMLSchema#string> .
_:vb12150	<http://www.w3.org/2002/07/owl#intersectionOf>	_:vb12147 .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb13339	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:vb13343 .
_:vb13339	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb13344 .
_:vb13350	<http://www.w3.org/2002/07/owl#qualifiedCardinality>	"1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
_:vb13347	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb12148 .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb12149 .
_:vb12149	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://yang.eurecom.fr/codeontology/Constructor> .
_:vb13349	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb12150 .
_:vb12152	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:vb12153 .
_:vb13352	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/isConstructedBy> .
_:vb12151	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://www.w3.org/2001/XMLSchema#string> .
_:vb13352	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb13341	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasConstructor> .
_:vb12148	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/isArgumentTypeOf> .
_:vb13353	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb13344	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:vb13350	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasSimpleName> .
_:vb13353	<http://www.w3.org/2002/07/owl#allValuesFrom>	<http://yang.eurecom.fr/codeontology/TypeVariable> .
_:vb12154	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:vb12156 .
<http://yang.eurecom.fr/codeontology/Enum>	<http://www.w3.org/2000/01/rdf-schema#subClassOf>	_:vb12155 .
_:vb13345	<http://www.w3.org/2002/07/owl#qualifiedCardinality>	"1"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
_:vb12157	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:vb12158 .
_:vb13347	<http://www.w3.org/2002/07/owl#intersectionOf>	_:vb13346 .
_:vb13348	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasSimpleName> .
_:vb12147	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb12152 .
_:vb12153	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb13343	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasFullyQualifiedName> .
_:vb12158	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb12158	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasSimpleName> .
_:vb12157	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:vb12150	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb13350	<http://www.w3.org/2002/07/owl#onDataRange>	<http://www.w3.org/2001/XMLSchema#string> .
_:vb12156	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb12147	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	_:vb12151 .
_:vb12156	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasSimpleName> .
_:vb13345	<http://www.w3.org/2002/07/owl#onDataRange>	<http://www.w3.org/2001/XMLSchema#string> .
_:vb12158	<http://www.w3.org/2002/07/owl#onDataRange>	<http://www.w3.org/2001/XMLSchema#string> .
_:vb12152	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:vb12155	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb13345	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb13346	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb13349 .
_:vb12153	<http://www.w3.org/2002/07/owl#onDataRange>	<http://www.w3.org/2001/XMLSchema#string> .
_:vb12161	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasFormalTypeParameter> .
_:vb13350	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .