이 인텐션은 라이브러리 메서드 컨트랙트를 변경합니다. 메서드 컨트랙트는 다음과 같은 구조를 갖습니다.

 contract ::= (clause ';')* clause
 clause ::= args '->' effect
 args ::= ((arg ',')* arg )?
 arg ::= value-constraint
 value-constraint ::= '_' | 'null' | '!null' | 'false' | 'true'
 effect ::= value-constraint | 'fail' | 'new' | 'this' | 'param' number
 number ::= [1-9] [0-9]*
제약은 다음을 의미합니다.
예: