sci: add when-some and if-some

This commit is contained in:
Michiel Borkent 2020-02-21 19:45:20 +01:00
parent ee522ccecb
commit 7b30927a12

2
sci

@ -1 +1 @@
Subproject commit cdca1bc28b071163333b6c352430cec544c3c5ae
Subproject commit eebb456628beb2ac0d1e31c2be46ee0683b9ee7a