diff options
Diffstat (limited to 'stdlib/source/library/lux/type/refinement.lux')
-rw-r--r-- | stdlib/source/library/lux/type/refinement.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux index 3a7a2ef85..225edc957 100644 --- a/stdlib/source/library/lux/type/refinement.lux +++ b/stdlib/source/library/lux/type/refinement.lux @@ -1,8 +1,9 @@ (.require [library [lux (.except only type) - [abstract - [predicate (.only Predicate)]] + [control + [function + [predicate (.only Predicate)]]] ["[0]" macro (.only) [syntax (.only syntax)] ["[0]" code |