호출 경계에서의 검사
형식 힌트를 작성한 함수와 클래스에 데코레이터를 적용해 값이 주석에 맞는지 검사한다. 인자 형식이 맞지 않으면 위반 정보를 알린다. 별도의 모델로 자료를 변환하는 것과 달리 기존 호출의 형식 조건을 확인하는 방식이다.
패키지 단위 적용
가져오기 훅으로 패키지의 주석이 있는 클래스와 호출 가능 객체 및 변수 대입을 검사하도록 구성할 수 있다. 위반을 예외로 처리하거나 경고로 알리는 설정도 제공한다. 검사할 범위와 문제를 알리는 방식을 함께 지정한다.
값 검사와 조건 확장
개별 값과 형식 힌트를 대조해 참과 거짓을 받거나 위반 시 예외를 발생시키는 API가 있다. Annotated와 검증기 기능으로 추가 조건을 표현할 수도 있다. 호출의 계측과 필요한 지점의 명시적 검사를 조합해 사용할 수 있다.