INTERFACE B; IMPORT A; TYPE Closure <: OBJECT METHODS callback(m := A.Mode.Entry); END; END B.