fact: Definition association_list_add {K V} {K_eq : DecideableEnsembles.Query_eq K} (l : association_list K V) (k : K) (v : V) : list (K * V) := (k, v) :: l.
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.ZArith.ZArith Coq.Lists.List Coq.Strings.String Coq.Arith.Mult Fiat.Common Fiat.Common.DecideableEnsembles Fiat.Narcissus.Common.Specs Fiat.Narcissus.Stores.Cache Fiat.Narcissus.Formats.DomainNameOpt Bedrock.Word