Tag Archives: User-defined type; function; guarantee return type