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

define BBT.max

Browse Source
This commit is contained in:
Rígille S. B. Menezes 2021-11-06 15:27:26 -03:00
parent 51d47a726f
commit d7709263b4
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
base/BBT/max.kind Normal file
View File

@ -0,0 +1,12 @@
BBT.max<K: Type, V: Type>(map: BBT<K, V>): Maybe<Pair<K, V>>
case map {
tip:
none
bin:
case map.right {
tip:
some({map.key, map.val})
bin:
BBT.max!!(map.right)
}
}