The Fortress Language Specification - CiteSeerX

Method definition lookup: visible p / defined p (C −→ τ ) = { −−−−−−−→
(fd, C −→ τ )}
visible p (C −→ τ ) = defined p (C −→ τ ) ∪ ⋃ C ′ −→
τ ′ ∈{ −→ N } visible p([ −→ τ / −→ α ]C ′ −→ τ ′ ) where C −→ α extends {
−→ N } ∈ p
defined p (C −→ τ ) = { −−−−−−−−−−−−−→
([ −→ τ / −→ α ]fd, C −→ τ )} where C −→ α
−→ fd
∈ p
Most specific type: p; ∆ ⊢ meet({ −→ τ }, τ)
[MEET]
τ ′ ∈ { −→ τ } ∀ 1 ≤ i ≤ | −→ τ | . p; ∆ ⊢ τ ′