곱하기 정의 된 상수를 숨기는 방법

Question

이 질문은 질문 How to hide defined constants을 확장합니다.

나는 이론 A, B 가져

및 C는, 어쩌면 미래에 또한 D, E ... 모든 이론은 함수 f을 정의합니다. 나는 현재의 이론에서 수입 된 이론을 바꾸지 않고 f의 정의를 숨기고 싶다. 내가 term f이라고 쓸 때 A.f이 나옵니다. 현재 이론에 hide_const (open) f을 추가하면 A.f이 숨겨 지지만 B.f은 f이됩니다. f을 어떻게 완전히 숨길 수 있습니까? (hide_const (open) f)+과 같은 것이 필요합니다. 각 이론 기능 f의

Answer 1

버전은 별도의 이름을 (A.f, B.f, C.f), 그리고이 모든 별도로 숨겨진해야합니다.

당신은하지만, 하나의 hide_const 명령으로 여러 이름을 숨길 수 있으며, 이것은 내가 추천 할 것입니다 무엇 :

hide_const (open) A.f B.f C.f