Formalise map standard functions (maps:put, maps:get)#67

berpeti merged 2 commits into

masterharp-project/Core-Erlang-Formalization:masterfrom

map-bifsharp-project/Core-Erlang-Formalization:map-bifsCopy head branch name to clipboard