use 지시

use 지시는 패키지 경로와 괄호로 둘러 쌓인 이름들을 받아, 그 이름이 가리키는 패키지 안의 바인딩을 현재 영역에 들여 온다.

• 겹치는 이름에 다른 바인딩이 들어 있을 경우 오류가 발생한다.
• 그러나 같은 바인딩을 여러 차례 같은 이름으로 들여 오는 것은 오류가 아니다.
• 이 지시로 들여온 이름은 약한 바인딩으로, 다른 명시적인 바인딩으로 덮어 씌워질 수 있다.

-- `core`를 설정한다.
-- `naru core` 전체가 패키지 경로라는 점에 주의.
use naru core

-- `bool`을 설정한다. 패키지 경로와 구분하기 위해 괄호는 필수이다.
use naru core (bool)

-- `int`와 `nat`을 설정한다.
-- `bool`은 위의 선언과 동일하므로 오류가 발생하지 않는다.
use naru core (int, nat, bool)

-- 앞에서 설정했던 `int`를 가린다.
int := "integrity"

괄호 대신에 *가 들어간 표기법을 써서 해당 패키지에 들어 있는 모든 공개된 이름을 들여 올 수 있다.

-- `use naru core (int, nat, bool, ...)` 따위와 동일하다.
use naru core *

이름을 들여오되 바꾸고 싶을 경우 use 선언을 사용한다.