% == No, Emacs this is -*-Prolog-*- code, not what you thought... =============

% sa_type/2 - locate the TYPE field

sa_type(var(_NAME,TYPE,_INIT,_ANNOT), TYPE).
sa_type(constraint(_NAME)).