#include <types.h>
Type used to identify Exec_DefinitionRegistry registry functions.
We use a separate public type as the tag, rather than Exec_DefinitionRegistry itself, to allow that type to remain private.
Definition at line 35 of file types.h.