ADT definer function