-
Petr Pudlak authored
If a key has no value, it returns a supplied monadic default value. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
7b5f1645
If a key has no value, it returns a supplied monadic default value. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>