ct_typeid_t
ct_typeid_t type;
contract_type_init(ct_typeid_t type, const char *name, contops_t *ops,
ct_typeid_t ctev_cttype;
ct_typeid_t ctst_type;
ct_typeid_t ct_type_index; /* index in ct_types array */
ct_type_t *contract_type_init(ct_typeid_t, const char *, contops_t *,
ct_typeid_t ctev_cttype;
ct_typeid_t ctst_type;