Writes a parse tree to a html file.
Defines if the tree is expanded.
Defines the details, as a list of strings, that are expanded when e is equal to Expand.yes, and not exapnded when e is equal to Expand.invert. When no details are passed, each node is expanded.
The ParseTree to represent.
The name of file where tree is written.