<> <> <> <> DIRECTORY JaM USING [State], SirPress USING [PressHandle]; TACallig: CEDAR DEFINITIONS = { UseThisPressHandle: PUBLIC PROCEDURE[pressHandle: SirPress.PressHandle]; ForgetThePressHandle: PROCEDURE; RegisterCallig: PROCEDURE [initState: JaM.State]; }.