type.cstddef ≡

using size_t = uint64 §source

using float = float32 §source