aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/type.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/documentation/lux/type.lux12
1 files changed, 4 insertions, 8 deletions
diff --git a/stdlib/source/documentation/lux/type.lux b/stdlib/source/documentation/lux/type.lux
index b14ddc183..57d8f9497 100644
--- a/stdlib/source/documentation/lux/type.lux
+++ b/stdlib/source/documentation/lux/type.lux
@@ -26,8 +26,7 @@
(template [<name>]
[(documentation: <name>
- "The number of parameters, and the body, of a quantified type."
- [(<name> type)])]
+ "The number of parameters, and the body, of a quantified type.")]
[/.flat_univ_q]
[/.flat_ex_q]
@@ -43,8 +42,7 @@
(template [<name>]
[(documentation: <name>
- "The members of a composite type."
- [(<name> type)])]
+ "The members of a composite type.")]
[/.flat_variant]
[/.flat_tuple]
@@ -73,8 +71,7 @@
(template [<name>]
[(documentation: <name>
- "A composite type, constituted by the given member types."
- [(<name> types)])]
+ "A composite type, constituted by the given member types.")]
[/.variant]
[/.tuple]
@@ -90,8 +87,7 @@
(template [<name>]
[(documentation: <name>
- "A quantified type, with the given number of parameters, and body."
- [(<name> size body)])]
+ "A quantified type, with the given number of parameters, and body.")]
[/.univ_q]
[/.ex_q]