Skip to content

add lookup_take_Some

Ralf Jungrequested to merge
ralf/lookup_take_Some into master

another bit from Simuliris, original proof by @msammler

Edited by Ralf Jung

Merge request reports