Alias

alias for hl.Abstract<Shl_int_map>