ancestor(Type,Type) -- whether one type is an ancestor of another

Synopsis

• Function: ancestor

• Usage:

  ancestor(x,y)

• Inputs:
  • x, a type
  • y, a type
• Outputs:
  • whether x is an ancestor of y

Description

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

If x is an ancestor of y, then we also say that y is a specialization of x.

i1 : parent String

o1 = Net

o1 : Type

i2 : parent parent String

o2 = Thing

o2 : Type

i3 : parent parent parent String

o3 = Thing

o3 : Type

See also

• ancestors -- the ancestors of something