Their doc suggests two types,
$guid A uuid-v4 style guid
$randomUUID A random 36-character UUID
Is there a difference?
Yes they are different in terms of generation. For purpose they are same.
Here you may check: https://www.google.com/search?q=uuid+vs+guid
Also this answer may help: Is there any difference between a GUID and a UUID?