#include <crt_types.h>
Public Attributes | |
uint32_t | arity |
const char * | name |
domain_ctor_t | ctor |
itable_t | instance_table |
Definition at line 43 of file crt_types.h.
uint32_t domain_info::arity |
Definition at line 48 of file crt_types.h.
Definition at line 59 of file crt_types.h.
Definition at line 66 of file crt_types.h.
const char* domain_info::name |
Definition at line 53 of file crt_types.h.