diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/documentation/lux/type.lux | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/stdlib/source/documentation/lux/type.lux b/stdlib/source/documentation/lux/type.lux index 0d7a4da40..3c913198a 100644 --- a/stdlib/source/documentation/lux/type.lux +++ b/stdlib/source/documentation/lux/type.lux @@ -131,22 +131,20 @@ "Allows specifing the type of an expression as sharing type-variables with the type of another expression." [(is (Bar Bit Nat Text) (sharing [a b c] - (Foo a [b c]) - (is (Foo Bit [Nat Text]) - (foo expression)) - - (Bar a b c) - (bar expression)))]) + (is (Foo a [b c]) + (is (Foo Bit [Nat Text]) + (foo expression))) + (is (Bar a b c) + (bar expression))))]) (documentation: /.by_example "Constructs a type that shares type-variables with an expression of some other type." [(is Type (by_example [a b c] - (Foo a [b c]) - (is (Foo Bit [Nat Text]) - (foo expression)) - - (Bar a b c))) + (is (Foo a [b c]) + (is (Foo Bit [Nat Text]) + (foo expression))) + (Bar a b c))) "=>" (.type (Bar Bit Nat Text))]) |