955 extern float __attribute__((overloadable)) mix(float start, float stop, float amount) {  in mix()  function
958 extern float2 __attribute__((overloadable)) mix(float2 start, float2 stop, float2 amount) {  in mix()  function
961 extern float3 __attribute__((overloadable)) mix(float3 start, float3 stop, float3 amount) {  in mix()  function
964 extern float4 __attribute__((overloadable)) mix(float4 start, float4 stop, float4 amount) {  in mix()  function
967 extern float2 __attribute__((overloadable)) mix(float2 start, float2 stop, float amount) {  in mix()  function
970 extern float3 __attribute__((overloadable)) mix(float3 start, float3 stop, float amount) {  in mix()  function
973 extern float4 __attribute__((overloadable)) mix(float4 start, float4 stop, float amount) {  in mix()  function
2079 extern half __attribute__((overloadable)) mix(half start, half stop, half amount) {  in mix()  function
2082 extern half2 __attribute__((overloadable)) mix(half2 start, half2 stop, half2 amount) {  in mix()  function
2085 extern half3 __attribute__((overloadable)) mix(half3 start, half3 stop, half3 amount) {  in mix()  function
2088 extern half4 __attribute__((overloadable)) mix(half4 start, half4 stop, half4 amount) {  in mix()  function
2091 extern half2 __attribute__((overloadable)) mix(half2 start, half2 stop, half amount) {  in mix()  function
2094 extern half3 __attribute__((overloadable)) mix(half3 start, half3 stop, half amount) {  in mix()  function
2097 extern half4 __attribute__((overloadable)) mix(half4 start, half4 stop, half amount) {  in mix()  function