next node: Lazy,
prev node: Cache,
up to node: User Subsystem : Reflections


InterOpalEquality

Signature of InterOpalEquality

SIGNATURE InterOpalEquality

IMPORT InterOpal ONLY name : SORT ident : SORT
                      inst : SORT origin : SORT
                      fct : SORT kind : SORT

FUN = : name ** name -> bool
FUN = : ident ** ident -> bool
FUN = : origin ** origin -> bool
FUN = : inst ** inst -> bool
FUN = : fct ** fct -> bool
FUN = : kind ** kind -> bool


next node: Lazy,
prev node: Cache,
up to node: User Subsystem : Reflections