base.StrMap[V]

imm .get(k: imm base.Str): mut base.Opt[imm V] -> …, // from base.LinkedLens/2
mut .get(k: imm base.Str): mut base.Opt[V] -> …, // from base.LinkedLens/2
read .get(k: imm base.Str): mut base.Opt[read/imm V] -> …, // from base.LinkedLens/2
read .keyEq(k1: imm base.Str, k2: imm base.Str): imm base.Bool -> …,
read .isEmpty: imm base.Bool -> …, // from base.Map/2
mut .map[R$0](fImm: imm base.MapMapImm[imm base.Str,imm V,imm R$0], fMut: mut base.MapMapMut[imm base.Str,V,R$0], fRead: read base.MapMapRead[imm base.Str,V,R$0]): mut base.LinkedLens[imm base.Str,R$0] -> …, // from base.LinkedLens/2
imm .put(k: imm base.Str, v: imm V): imm base.LinkedLens[imm base.Str,V] -> …, // from base.LinkedLens/2
mut .put(k: imm base.Str, v: V): mut base.LinkedLens[imm base.Str,V] -> …, // from base.LinkedLens/2
read .put(k: imm base.Str, v: V): read base.LinkedLens[imm base.Str,V] -> …, // from base.LinkedLens/2
imm .map[R$0](fImm: imm base.MapMapImm[imm base.Str,imm V,imm R$0], fRead: imm base.MapMapRead[imm base.Str,V,R$0]): imm base.LinkedLens[imm base.Str,R$0] -> …, // from base.LinkedLens/2
read .map[R$0](fImm: imm base.MapMapImm[imm base.Str,imm V,imm R$0], fRead: read base.MapMapRead[imm base.Str,V,R$0]): read base.LinkedLens[imm base.Str,R$0] -> …, // from base.LinkedLens/2
imm .get(k: imm base.Str): mut base.Opt[imm V] -> …, // from base.LinkedLens/2
mut .get(k: imm base.Str): mut base.Opt[V] -> …, // from base.LinkedLens/2
read .get(k: imm base.Str): mut base.Opt[read/imm V] -> …, // from base.LinkedLens/2
read .keyEq(k1: imm base.Str, k2: imm base.Str): imm base.Bool -> …,
read .isEmpty: imm base.Bool -> …, // from base.Map/2
mut .map[R$0](fImm: imm base.MapMapImm[imm base.Str,imm V,imm R$0], fMut: mut base.MapMapMut[imm base.Str,V,R$0], fRead: read base.MapMapRead[imm base.Str,V,R$0]): mut base.LinkedLens[imm base.Str,R$0] -> …, // from base.LinkedLens/2
imm .put(k: imm base.Str, v: imm V): imm base.LinkedLens[imm base.Str,V] -> …, // from base.LinkedLens/2
mut .put(k: imm base.Str, v: V): mut base.LinkedLens[imm base.Str,V] -> …, // from base.LinkedLens/2
read .put(k: imm base.Str, v: V): read base.LinkedLens[imm base.Str,V] -> …, // from base.LinkedLens/2
imm .map[R$0](fImm: imm base.MapMapImm[imm base.Str,imm V,imm R$0], fRead: imm base.MapMapRead[imm base.Str,V,R$0]): imm base.LinkedLens[imm base.Str,R$0] -> …, // from base.LinkedLens/2
read .map[R$0](fImm: imm base.MapMapImm[imm base.Str,imm V,imm R$0], fRead: read base.MapMapRead[imm base.Str,V,R$0]): read base.LinkedLens[imm base.Str,R$0] -> …, // from base.LinkedLens/2