diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/control/security/policy.lux | 33 |
1 files changed, 17 insertions, 16 deletions
diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index 0cf9729dd..87beb9a3a 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -1,20 +1,21 @@ (.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [hash (#+ Hash)] - [monad (#+ do)] - [\spec - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad]]] - [data - ["." text ("#\." equivalence)]] - [math - ["." random] - [number - ["n" nat]]]] - [\\ + [library + [lux #* + ["_" test (#+ Test)] + [abstract + [hash (#+ Hash)] + [monad (#+ do)] + [\\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad]]] + [data + ["." text ("#\." equivalence)]] + [math + ["." random] + [number + ["n" nat]]]]] + [\\library ["." / (#+ Context Privacy Can_Conceal Can_Reveal Privilege Private)]]) (def: (injection can_conceal) |