lib: add `MapRead::get_or_null` to provide a more standard usage of Maps
authorJean Privat <jean@pryen.org>
Tue, 4 Mar 2014 15:07:15 +0000 (10:07 -0500)
committerJean Privat <jean@pryen.org>
Tue, 4 Mar 2014 15:07:15 +0000 (10:07 -0500)
commitac50e59ae8065ed5cdf56a0923c6957a77cf2091
treee802f6a56cb0ace7751a695ece77da8d7e37c13d
parent5f5969cca815375c66f4fe68a45293aa9fc735fd
lib: add `MapRead::get_or_null` to provide a more standard usage of Maps

Signed-off-by: Jean Privat <jean@pryen.org>
lib/standard/collection/abstract_collection.nit