Merge branch 'improve-string-doc' into 'dev'

Improve String.sub api documentation.

See merge request ligolang/ligo!525
This commit is contained in:
Sander 2020-03-26 11:09:21 +00:00
commit 24f4364978

View File

@ -73,8 +73,8 @@ val sub : nat -> nat -> string -> string
let sub: (nat, nat, string) => string
</SyntaxTitle>
Get the substring of `s` between `pos1` inclusive and `pos2` inclusive. For example
the string "tata" given to the function below would return "at".
Extract a substring from a string based on the given offset and length. For
example the string "abcd" given to the function below would return "bc".
<Syntax syntax="pascaligo">