-
Matthias Braun authored
= is_entconst(), is_typeconst, get_entconst_entity() and get_typeconst_type()
39c1e1ea
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
= is_entconst(), is_typeconst, get_entconst_entity() and get_typeconst_type()