fact: Definition lookup_default {K V} `{Map K V} k d m := match Maps.lookup k m with | Some v' => v' | None => d end.
imports: ExtLib(Core.RelDec) ITree(Basics.Basics Basics.CategoryOps Basics.CategoryKleisli Basics.Monad Indexed.Function Indexed.Sum Core.ITreeDefinition Core.Subevent Interp.Interp Interp.Handler Events.State)