diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/type/refinement.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux index 93d962ae3..172ddee2c 100644 --- a/stdlib/source/library/lux/type/refinement.lux +++ b/stdlib/source/library/lux/type/refinement.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- type) + [lux {"-" [type]} [abstract - [predicate (#+ Predicate)]] + [predicate {"+" [Predicate]}]] [control [parser ["<.>" code]]] ["." macro - [syntax (#+ syntax:)]] + [syntax {"+" [syntax:]}]] ["." type abstract]]]) |