map_get


Description:

public Map map_get (uint64 addr)