DOUBLE_TYPE top-level constant
BuiltinType
const DOUBLE_TYPE
Implementation
const DOUBLE_TYPE = BuiltinType(BuiltinTypeName.Double);
const DOUBLE_TYPE = BuiltinType(BuiltinTypeName.Double);