diff options
Diffstat (limited to 'stdlib/source/documentation')
| -rw-r--r-- | stdlib/source/documentation/lux/control/security/capability.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/documentation/lux/control/security/capability.lux b/stdlib/source/documentation/lux/control/security/capability.lux index 8d9c7f2ad..d328cabd3 100644 --- a/stdlib/source/documentation/lux/control/security/capability.lux +++ b/stdlib/source/documentation/lux/control/security/capability.lux @@ -20,9 +20,9 @@ "Applies a capability against its required input." [(use capability input)]) - ($.definition /.capability: + ($.definition /.capability "Defines a capability as a unique type, and a constructor for instances." - [(capability: (Can_Duplicate a) + [(capability (Can_Duplicate a) (can_duplicate a [a a])) (let [capability (can_duplicate |