Pascal/Turbo Pascal - arbol vacio

Hola, tengo una duda para hacer una funcion q me diga si un arbol está o no vacío. Tengo lo siguiente

PtrNodo = ^Nodo;
Arbol = PtrNodo;
Nodo = RECORD
info: tipoDato;
izq, der: PtrNodo
End;

La función vacio sería asi??

function vacio (a: Arbol): Boolean;
begin
vacio := a = nil;
end;

Sí... pero hay que tener en cuenta una cosa: el arbol puede estar vacía y la variable NO ser nil. Esto puede pasar si la variable no es incializada, o si después de liberar la variable (con dispose) no se le estableció nil.