지정자

지정자는 정의에 추가 정보를 적용합니다. 예를 들어 함수 정의의 decides 이펙트 지정자는 해당 함수를 실패 가능으로 표시합니다.