Type Definition libc_interface::cpu_type_t[][src]

type cpu_type_t = integer_t;