$SetReplaceTypeGraph

[maxitg]

Changes

• Adds a $SetReplaceTypeGraph constant.
• The constant contains the nicely formatted type graph.

Examples

• Examples below do not work directly because they use fake types. To try them out, do something like

  AppendTo[$ContextPath, "SetReplace`PackageScope`"];

  and then evaluate the definitions (line 15 to 81) from typeSystem.wlt.

• Now, check $SetReplaceTypeGraph:

  In[] := $SetReplaceTypeGraph

  

---

This change is 

[maxitg]

I'm just going to add a table of contents to the type system README, and then this will be ready for review.

[maxitg]

@taliesinb, @daneelsan, this is ready for review now.

[daneelsan]

Reviewable status: 0 of 9 files reviewed, 1 unresolved discussion (waiting on @maxitg and @taliesinb)

---

Documentation/SymbolsAndFunctions/TypeSystem/$SetReplaceTypeGraph.md, line 13 at r2 (raw file):

```

Not a very informative image hehe. Was this intended because we have yet to define some types?

[maxitg]

Reviewable status: 0 of 9 files reviewed, 1 unresolved discussion (waiting on @daneelsan and @taliesinb)

---

Documentation/SymbolsAndFunctions/TypeSystem/$SetReplaceTypeGraph.md, line 13 at r2 (raw file):

Previously, daneelsan (Daniel Sanchez) wrote…

Not a very informative image hehe. Was this intended because we have yet to define some types?

Yes, that's very much intended. We need to add some types to it (in another PR).

[daneelsan]

Reviewable status: 0 of 9 files reviewed, 1 unresolved discussion (waiting on @daneelsan and @taliesinb)