diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/abstract/predicate.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/abstract/predicate.lux b/stdlib/source/lux/abstract/predicate.lux index 03b071fa4..841865c10 100644 --- a/stdlib/source/lux/abstract/predicate.lux +++ b/stdlib/source/lux/abstract/predicate.lux @@ -10,12 +10,12 @@ (type: #export (Predicate a) (-> a Bit)) -(template [<identity-name> <identity-value> <composition-name> <composition>] - [(def: #export <identity-name> +(template [<identity_name> <identity_value> <composition_name> <composition>] + [(def: #export <identity_name> Predicate - (function.constant <identity-value>)) + (function.constant <identity_value>)) - (def: #export (<composition-name> left right) + (def: #export (<composition_name> left right) (All [a] (-> (Predicate a) (Predicate a) (Predicate a))) (function (_ value) (<composition> (left value) |