sig val update : GPack.box -> unit end