ADT syntax