5.5.4 Gamma.oz

Functor Gamma (see Section A.10) imports module Entry and exports a binary predicate for each possible role.

<Gamma.oz>=

functor 
import FS
   Entry(
      category  : Category
      agreement : Agreement
      marks     : Marks
      vprefixes : Vprefixes
      )
export 
   <Gamma exports> 
define 
   <Gamma variables> 
   <Gamma predicates> 
end

• Variables

• Predicates