-
Notifications
You must be signed in to change notification settings - Fork 1
Tags
141592653 edited this page Nov 16, 2016
·
7 revisions
#Tags documentation
This tag concerns all the set which can possibly have an implementation. The value of body is exactly the text displayed in the main text zone of the element.
-
The first openings of a module are put in the body section of the module.
-
If an "open" appears in the middle of the code, it will be seen as one of the children of the module and its name is "open".
-
All the uses of open (including those of the beginning) induce a tag dependencies of the father module. The value of this tag is of the shape
[TDepend ["Module1";"Module2"]; TDepend ["Module3"]]
for the codeopen Module1.Module2 open Module3