[top][index]
search for:

ancestor -- whether one type is an ancestor of another

ancestor(x,y) -- tells whether y is an ancestor of x.

The ancestors of x are x, parent x, parent parent x, and so on.

See also:

  • classes and types -- an overview
  • Ways to use ancestor :

  • ancestor(Type,Type)

  • [top][index]
    search for: