diff options
Diffstat (limited to 'stdlib/source/documentation/lux/meta/type/implicit.lux')
-rw-r--r-- | stdlib/source/documentation/lux/meta/type/implicit.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/documentation/lux/meta/type/implicit.lux b/stdlib/source/documentation/lux/meta/type/implicit.lux index 4803008c0..8afc69184 100644 --- a/stdlib/source/documentation/lux/meta/type/implicit.lux +++ b/stdlib/source/documentation/lux/meta/type/implicit.lux @@ -26,7 +26,7 @@ \n \n "Caveat emptor: You need to make sure to import the module of any implementation you want to use." \n "Otherwise, this macro will not find it.") ($.example ($.comment "Nat equivalence")) - ($.example (at number.equivalence = x y)) + ($.example (of number.equivalence = x y)) ($.example (a/an = x y)) ($.comment "Can optionally add the prefix of the module where the signature was defined.") @@ -43,12 +43,12 @@ ($.definition /.with "Establish lexical bindings for implementations that will be prioritized over non-lexically-bound implementations." ($.example (with [n.addition] - (n.= (at n.addition composite left right) + (n.= (of n.addition composite left right) (a/an composite left right))))) ($.definition /.implicitly "Establish local definitions for implementations that will be prioritized over foreign definitions." ($.example (implicitly n.multiplication)) - ($.example (n.= (at n.multiplication composite left right) + ($.example (n.= (of n.multiplication composite left right) (a/an composite left right)))) )) |