"Abstract data type"@en .