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