doc dynamic subset

Raku · Oct 27, 2016 · f59ad3e · f59ad3e
1 parent 9727473
commit f59ad3e
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/doc/Language/typesystem.pod6 b/doc/Language/typesystem.pod6
@@ -602,4 +602,11 @@ but a name is neither needed nor desirable.
     g([A, C]);
     # OUTPUT«[A C]␤»
 
+Subsets can be used to check types dynamially, what can be useful in conjuction with L<require|/language/modules#require>.
+X<|dynamic subset>
+
+=for code :skip-test
+require ::('YourModule');
+subset C where $ = ::('YourModule::C');
+
 =end pod