diff options
Diffstat (limited to 'stdlib/source/documentation/lux/control/security/capability.lux')
| -rw-r--r-- | stdlib/source/documentation/lux/control/security/capability.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/documentation/lux/control/security/capability.lux b/stdlib/source/documentation/lux/control/security/capability.lux index de8b33889..8d9c7f2ad 100644 --- a/stdlib/source/documentation/lux/control/security/capability.lux +++ b/stdlib/source/documentation/lux/control/security/capability.lux @@ -12,15 +12,15 @@ (.List $.Module) ($.module /._ "" - [($.documentation (/.Capability brand input output) + [($.definition (/.Capability brand input output) (format "Represents the capability to perform an operation." \n "This operation is assumed to have security implications.")) - ($.documentation /.use + ($.definition /.use "Applies a capability against its required input." [(use capability input)]) - ($.documentation /.capability: + ($.definition /.capability: "Defines a capability as a unique type, and a constructor for instances." [(capability: (Can_Duplicate a) (can_duplicate a [a a])) @@ -31,7 +31,7 @@ [left right] (..use capability 123)] (same? left right))]) - ($.documentation /.async + ($.definition /.async "Converts a synchronous I/O-based capability into an asynchronous capability." [(async capability)])] [])) |