Update 'Interfaces'

Sasha Koshka 2022-08-24 06:13:02 +00:00
parent 1530276ef5
commit 7a5413ede1

@ -5,7 +5,7 @@ interface.
They are defined like this: They are defined like this:
``` ```
face ro ReadWriter face ro ReadWriter:Face
read read
> into:{Byte ..} > into:{Byte ..}
< amountRead:Size < amountRead:Size
@ -13,3 +13,5 @@ face ro ReadWriter
> buffer{Byte ..} > buffer{Byte ..}
< amountWrote:Size < amountWrote:Size
``` ```
Interfaces are able to inherit other interfaces using type notation. If an interface inherits nothing, it must inherit `Face`, which is a blank interface.