Skip to content

Commit

Permalink
promote builtin.mbti
Browse files Browse the repository at this point in the history
  • Loading branch information
Yoorkin committed May 13, 2024
1 parent 7615186 commit 55712f1
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions builtin/builtin.mbti
Original file line number Diff line number Diff line change
Expand Up @@ -208,6 +208,7 @@ impl Bytes {
blit(Bytes, Int, Bytes, Int, Int) -> Unit
blit_from_string(Bytes, Int, String, Int, Int) -> Unit
copy(Bytes) -> Bytes
debug_write(Bytes, Buffer) -> Unit
length(Bytes) -> Int
make(Int, Int) -> Bytes
of_string(String) -> Bytes
Expand All @@ -217,6 +218,7 @@ impl Bytes {
set_utf8_char(Bytes, Int, Char) -> Int
sub_string(Bytes, Int, Int) -> String
to_string(Bytes) -> String
to_unchecked_string(Bytes) -> String
}
impl Ref {
debug_write[X : Debug](Self[X], Buffer) -> Unit
Expand Down

0 comments on commit 55712f1

Please sign in to comment.