Each such type is displayed to the right of its parent.
A type is an instance of Type, by definition.
i1 : showStructure o1 = Thing : BasicList : Command Constant Eliminate Expression : Adjacent AssociativeExpression : Equation Product Sum BinaryOperation Divide FunctionApplication Holder : Describe OneExpression ZeroExpression MapExpression MatrixDegreeExpression MatrixExpression Minus NonAssociativeProduct Parenthesize Power RowExpression SheafExpression SparseMonomialVectorExpression SparseVectorExpression Subscript Superscript Table VectorExpression FilePosition IndeterminateNumber IndexedVariable InfiniteNumber LowerBound Manipulator MutableList : Bag Option Partition ProductOrder PushforwardComputation RingElement SumOfTwists Time URL Vector VisibleList : Array List : Hybrid VerticalList : NumberedVerticalList Sequence Boolean CompiledFunctionBody Database Dictionary : GlobalDictionary LocalDictionary File Function : CompiledFunction CompiledFunctionClosure : MethodFunction MethodFunctionBinary MethodFunctionSingle FunctionClosure : CacheFunction MethodFunctionWithOptions FunctionBody HashTable : CoherentSheaf DocumentTag Ideal : MonomialIdeal ImmutableType : Module ModuleMap : Matrix MonoidElement MutableHashTable : CacheTable Descent GradedModule : ChainComplex GradedModuleMap : ChainComplexMap GroebnerBasis IndexedVariableTable Package Resolution ScriptedFunctor Type : HeaderType Monoid : OrderedMonoid : GeneralOrderedMonoid Ring : EngineRing : FractionField GaloisField InexactField : ComplexField RealField PolynomialRing QuotientRing RingFamily : InexactFieldFamily SelfInitializingType WrapperType Variety : AffineVariety ProjectiveVariety MutableMatrix OptionTable : GroebnerBasisOptions Program ProgramRun ProjectiveHilbertPolynomial RingMap SheafOfRings VirtualTally : BettiTally : MultigradedBettiTally Tally : Set Net : String NetFile Nothing : InexactNumber' : CC' RR' Number : InexactNumber : CC RR QQ ZZ Pseudocode Symbol : Keyword SymbolBody Task o1 : Descent |
i2 : showStructure(ZZ,QQ,RR,RR_200,QQ[x],Ring) o2 = Thing : BasicList : RingElement : QQ[x] HashTable : MutableHashTable : Type : Ring Nothing : InexactNumber' : RR' : RR 200 Number : InexactNumber : RR QQ ZZ o2 : Descent |
The object showStructure is a command.