Equality and ordering on Names are defined to ignore range so same names in different locations are equal. Happy 파서에서 생성된 데이터 유형이 Happy 코드를 떠나기 전에 변환됩니다. Part of a Notation Argument is the position of the hole with binding where the binding should occur.