with Agpl.Generic_Handle; package Adafn.Context.Handle is new Agpl.Generic_Handle (Context.Object'Class);