diff options
Diffstat (limited to 'stdlib/source/library/lux/type/quotient.lux')
| -rw-r--r-- | stdlib/source/library/lux/type/quotient.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/type/quotient.lux b/stdlib/source/library/lux/type/quotient.lux index c9e37a60d..0382c5e1f 100644 --- a/stdlib/source/library/lux/type/quotient.lux +++ b/stdlib/source/library/lux/type/quotient.lux @@ -32,7 +32,7 @@ (abstraction [#value value #label ((representation Class class) value)])) - (template [<name> <output> <slot>] + (with_template [<name> <output> <slot>] [(def: .public <name> (All (_ t c %) (-> (Quotient t c %) <output>)) (|>> representation (the <slot>)))] |