Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-11-05 07:05:32 +03:00
Code Issues Projects Releases Wiki Activity

remove unused function

Browse Source
This commit is contained in:
Rígille S. B. Menezes 2021-11-12 17:46:20 -03:00
parent 9d869c7d00
commit 4bdcd074d4
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
base/RLP.kind
View File

@ -42,12 +42,6 @@ RLP.show(r: RLP): String
// Length
// ------
RLP.decoder.byte(bytes: Bytes): U8
case bytes {
nil: 0#8
cons: bytes.head
}
RLP.encode.length(add: Nat, length: Nat): Bytes
if Nat.ltn(length, 56) then
Bytes.from_nat(Nat.add(add,length))